return (modifiers & CTRL_DOWN_MASK) != 0;
return ((modifiers & CTRL_MASK) != 0) || ((modifiersEx & CTRL_DOWN_MASK) != 0);
  public boolean isControlDown()  {    return (modifiers & CTRL_DOWN_MASK) != 0;  }