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