static JTextField consoleInputField() {
  O console = get(getJavaX(), "console");
  ret (JTextField) getOpt(console, "tfInput");
}