public void dispose(){
  if (executionPlan != null) {
    executionPlan.dispose();
  }
  if (appClassList != null) {
    appClassList.clear();
  }
  if (classObserverList != null) {
    classObserverList.clear();
  }
  if (referencedClassSet != null) {
    referencedClassSet.clear();
  }
  analysisOptions.analysisFeatureSettingList=null;
  bugReporter=null;
  classFactory=null;
  classPath=null;
  classScreener=null;
  detectorFactoryCollection=null;
  executionPlan=null;
  progress=null;
  project=null;
  analysisOptions.userPreferences=null;
}

public void dispose ( ) { if ( executionPlan != null ) { executionPlan . dispose ( ) ; } if ( appClassList != null ) { appClassList . clear ( ) ; } if ( classObserverList != null ) { classObserverList . clear ( ) ; } if ( referencedClassSet != null ) { referencedClassSet . clear ( ) ; } analysisOptions . analysisFeatureSettingList = null ; bugReporter = null ; classFactory = null ; classPath = null ; classScreener = null ; detectorFactoryCollection = null ; executionPlan = null ; progress = null ; project = null ; analysisOptions . userPreferences = null ; }
to avoid cyclic cross - references and allow gc after engine is not more needed . ( used by eclipse plugin )
