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