static JTextField disableTextField(JTextField tf) {
  if (tf != null) tf.setEnabled(false);
  ret tf;
}