public void partActivated(IWorkbenchPartReference partRef) {}
public void partActivated(IWorkbenchPartReference partRef) {    if (JavaEditor.this.equals(partRef.getPart(false))) { cancel(); toggleFolding(); } }
		public void partActivated(IWorkbenchPartReference partRef) {}