static JTextArea consoleTextArea() {
  ret (JTextArea) getOpt(get(getJavaX(), "console"), "textArea");
}