origCollection = new SortedBugCollection( SortedBugCollection.MultiversionBugInstanceComparator.instance);
origCollection = new SortedBugCollection();
	private static void listVersion(PrintWriter out, @CheckForNull String fileName, boolean formatDates) throws IOException, DocumentException {		Project project = new Project();		BugCollection origCollection;		origCollection = new SortedBugCollection(				SortedBugCollection.MultiversionBugInstanceComparator.instance);		if (fileName == null)			origCollection.readXML(System.in, project);		else origCollection.readXML(fileName, project);		AppVersion appVersion = origCollection.getCurrentAppVersion();		ProjectStats stats = origCollection.getProjectStats();		out.print(appVersion.getReleaseName());		out.print('\t');		if (formatDates)			out.print("\""+ new Date(appVersion.getTimestamp()) + "\"");		else			out.print(appVersion.getTimestamp());		out.print('\t');		out.print(appVersion.getNumClasses());		out.print('\t');		out.print(appVersion.getCodeSize());		out.print('\t');		out.print(stats.getTotalBugs());		out.print('\t');		out.print(stats.getBugsOfPriority(Detector.HIGH_PRIORITY));		out.print('\t');		out.print(stats.getBugsOfPriority(Detector.NORMAL_PRIORITY));		out.print('\t');		out.print(stats.getBugsOfPriority(Detector.LOW_PRIORITY));		if (fileName != null) {			out.print('\t');			out.print(fileName);		}		out.println();	}