workspace.removeResourceChangeListener(JavaModelManager.getJavaModelManager().deltaProcessor);
workspace.removeResourceChangeListener(this);
	public void shutdown() {		System.out.println("JspCorePlugin: shutdown");		IWorkspace workspace= ResourcesPlugin.getWorkspace();		workspace.removeResourceChangeListener(JavaModelManager.getJavaModelManager().deltaProcessor);	}