svoid setFocusable(JComponent c) {
  if (c != null) swing { c.setFocusable(true); }
}