/** 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);
 }