static void consoleAutoScrollOff() {
  callOpt(getJavaX(), "autoScroll", false);
}