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