static void minimizeConsole() {
  JFrame f = consoleFrame();
  if (f != null)
    f.setState(JFrame.ICONIFIED);
}