project.setSessionProperty(SESSION_PROPERTY_BUG_COLLECTION, bugCollection); project.setSessionProperty(SESSION_PROPERTY_FB_PROJECT, findbugsProject);
bugCollection = new SortedBugCollection(); findbugsProject = new Project();   bugCollection.readXML(bugCollectionFile.getContents(), findbugsProject);  cacheBugCollectionAndProject(project, bugCollection, findbugsProject);
	private static void readBugCollectionAndProject(IProject project, IProgressMonitor monitor) throws IOException, DocumentException, CoreException {		SortedBugCollection bugCollection;		Project findbugsProject;				IFile bugCollectionFile = getBugCollectionFile(project);		if (bugCollectionFile.exists()) {			bugCollection = new SortedBugCollection();			findbugsProject = new Project();			// FIXME: use progress monitor			bugCollection.readXML(bugCollectionFile.getContents(), findbugsProject);		} else {			bugCollection = null;			findbugsProject = null;		}		project.setSessionProperty(SESSION_PROPERTY_BUG_COLLECTION, bugCollection);		project.setSessionProperty(SESSION_PROPERTY_FB_PROJECT, findbugsProject);	}