/* (non-Javadoc) * Method declared on IContentProvider. */ public void dispose() { super.dispose(); JavaScriptCore.removeElementChangedListener(this); }
public void shutdown() { JavaScriptCore.removeElementChangedListener(this); TernCorePlugin.removeTernProjectLifeCycleListener(this); }