/** This needs to be called if the ValManager is ever deleted. */
public void dispose() {
// currently nobody calls this method, because this instance is never removed, but the method is
// here for completeness none the less.
ValPrefManagerGlobal.getDefault().removeListener(this);
ValPrefManagerProject.removeListener(this);
FacetedProjectFramework.removeListener(this);
EventManager.getManager().removeProjectChangeListener(this);
}
private ValManager() {
ValPrefManagerGlobal.getDefault().addListener(this);
ValPrefManagerProject.addListener(this);
FacetedProjectFramework.addListener(this, IFacetedProjectEvent.Type.PROJECT_MODIFIED);
EventManager.getManager().addProjectChangeListener(this);
}
