boolean graphicsDebugMode = false;
  public void installUI(JComponent c)  {    if (c instanceof JTerminal)    {      this.terminal = (JTerminal)c;      boolean graphicsDebugMode = false;      if (graphicsDebugMode)      {        javax.swing.RepaintManager repaintManager = javax.swing.RepaintManager.currentManager(terminal);        repaintManager.setDoubleBufferingEnabled(false);        terminal.setDebugGraphicsOptions(javax.swing.DebugGraphics.FLASH_OPTION);      }      this.session  = terminal.getSession();      session.setRunningHeadless(true);      installComponents();      installListeners();      installDefaults();      installKeyboardActions();    }    else      throw new Error("TerminalUI needs JTerminal");  }