void ensure_terminal_is_open() { if (!terminal_is_open) { if (verbosity > 0) { System.out.println("JC open jc_terminal"); } jc_terminal.open(); terminal_is_open = true; } }