if ((e.getModifiersEx() & InputEvent.BUTTON1_DOWN_MASK) != 0)
if (e.getButton() == MouseEvent.BUTTON1)
  public void mousePressed(MouseEvent e)  {    if (e.getSource() instanceof AbstractButton)      {        AbstractButton button = (AbstractButton) e.getSource();        ButtonModel model = button.getModel();        if ((e.getModifiersEx() & InputEvent.BUTTON1_DOWN_MASK) != 0)          {            // It is important that these transitions happen in this order.            model.setArmed(true);            model.setPressed(true);          }      }  }