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