if (down)
<BUG>modifiers |= Event.CTRL_MASK;
</BUG>
else
<BUG>modifiers &= ~Event.CTRL_MASK;
</BUG>
if (location == KeyEvent.KEY_LOCATION_RIGHT)
keysym = Keysyms.Control_R;
else
keysym = Keysyms.Control_L;  break;

if (down)
modifiers |= (Event.CTRL_MASK<<locationShift);
else
modifiers &= ~(Event.CTRL_MASK<<locationShift);
if (location == KeyEvent.KEY_LOCATION_RIGHT)
keysym = Keysyms.Control_R;
else
keysym = Keysyms.Control_L;  break;
