static <A extends JComponent> A fontSizeTimes(final double factor, final A c) {
  if (c != null) swing {
    Font font = c.getFont();
    c.setFont(font.deriveFont(font.getSize2D()*factor));
  }
  ret c;
}