if (REPOS_DEBUG) System.out.println("Clearing repository");
  private void clearRepository() {	if (REPOS_DEBUG) System.out.println("Clearing repository");	// Purge repository of previous contents	Repository.clearCache();	// Clear the cache in the AnalysisContext.	AnalysisContext.instance().clearCache();  }