This method is called when the plug-in is stopped.
00182 {
00183 super.stop(context);
00184 setShuttingDown(true);
00185 if (fLaunchManager != null) {
00186 fLaunchManager.shutdown();
00187 }
00188 if (consoleManager != null) {
00189 consoleManager.clear();
00190 }
00191 if (serverManager != null) {
00192 serverManager.clear();
00193 }
00194 }
