static int intFromTextField(JTextField tf) {
  ret toInt(getTextTrim(tf));
}