132         return handlerManager;

   132         return handlerManager;

   133     }

   133     }

   134 

   134 

   135     public MessageConsole getConsole() {

   135     public MessageConsole getConsole() {

   136         if (console == null) {

   136         if (console == null) {

   138             ConsolePlugin.getDefault().getConsoleManager().addConsoles(new IConsole[] { console });

   138             ConsolePlugin.getDefault().getConsoleManager().addConsoles(new IConsole[] { console });

   139         }

   139         }

   140         return console;

   140         return console;

   141     }

   141     }

   142 

   142