IProject project, IProgressMonitor monitor) throws CoreException, IOException, DocumentException {
IProject project, IProgressMonitor monitor) throws CoreException {
	public static SortedBugCollection readBugCollection(			IProject project, IProgressMonitor monitor)			throws CoreException, IOException, DocumentException {		SortedBugCollection bugCollection = (SortedBugCollection) project.getSessionProperty(				SESSION_PROPERTY_BUG_COLLECTION);		if (bugCollection == null) {			readBugCollectionAndProject(project, monitor);			bugCollection = (SortedBugCollection) project.getSessionProperty(					SESSION_PROPERTY_BUG_COLLECTION);		}		return bugCollection;	}