/* * (non-Javadoc) * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext) */ public void start(BundleContext context) throws Exception { super.start(context); plugin = this; proverProcessSupport = new ZEvesProcessSupport(); editTracker = new ZEditorEditTracker(); editTracker.init(); }