static void grabFocus(JComponent c) {
  requestFocus(c);
}