Community
Participate
Working Groups
*/
public void dispose() {
ResourcesPlugin.getWorkspace().removeResourceChangeListener(this);
eventHandler.shutdown();
if (eventHandler != null)
}
/**