static JTextField setTextFieldFontSize(JTextField tf, int size) {
  tf.setFont(tf.getFont().deriveFont((float) size));
  ret tf;
}