this.number = number;
// Make sure there is a workbench. This call will throw
// an exception if workbench not created yet.
final IWorkbench workbench = PlatformUI.getWorkbench();
this.serviceLocator = new ServiceLocator(workbench);
initializeDefaultServices();
// Add contribution managers that are exposed to other plugins.
addMenuBar();
addCoolBar(SWT.NONE); // style is unused