static <A extends JComponent> A setFontSize(int size, A a) {
  if (a != null) a.setFont(a.getFont().deriveFont((float) size));
  ret a;
}