if (button.isFocusPainted()) button.repaint();
  public void focusLost(FocusEvent e)  {    if (e.getSource() instanceof AbstractButton)      {        AbstractButton button = (AbstractButton) e.getSource();        ButtonModel model = button.getModel();        model.setArmed(false);      }  }