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