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