static void maxConsoleChars(int chars) {
  set(getJavaX(), "maxConsoleChars", chars);
}