public static BugSet loadBugs(Project project, File file) {  try {  SortedBugCollection col=new SortedBugCollection(); col.readXML(file,project); List<String> possibleDirectories=project.getSourceDirList(); MainFrame.getInstance().setSourceFinder(new SourceFinder()); MainFrame.getInstance().getSourceFinder().setSourceBaseList(possibleDirectories);  return loadBugsHelper(col); } catch (IOException e) { JOptionPane.showMessageDialog(null,"This file contains no bug data"); } catch (DocumentException e) { JOptionPane.showMessageDialog(null,"This file does not have the correct format; it may be corrupt."); } return null;
public static BugSet loadBugs(Project project, URL url){ try { return loadBugs(project, url.openConnection().getInputStream()); } catch (IOException e) { JOptionPane.showMessageDialog(null,"This file contains no bug data"); } return null;
	public static BugSet loadBugs(Project project, File file)	{					try 			{								SortedBugCollection col=new SortedBugCollection();				col.readXML(file,project);				List<String> possibleDirectories=project.getSourceDirList();				MainFrame.getInstance().setSourceFinder(new SourceFinder());				MainFrame.getInstance().getSourceFinder().setSourceBaseList(possibleDirectories);				return loadBugsHelper(col);			} catch (IOException e) {				JOptionPane.showMessageDialog(null,"This file contains no bug data");			} catch (DocumentException e) {				JOptionPane.showMessageDialog(null,"This file does not have the correct format; it may be corrupt.");			}			return null;	}