if (e.getSource() instanceof AbstractButton) { AbstractButton button = (AbstractButton) e.getSource(); if (button.isFocusPainted()) button.repaint(); }
  public void focusGained(FocusEvent e)   {      }