reporter.setIsRelaxed(true);
reporter.setOutputStream(UTF8.printStream(new FileOutputStream(f)));
for(BugInstance bug : mainFrame.getBugCollection().getCollection()) {
try {
if (mainFrame.getViewFilter().show(bug)) {
reporter.reportBug(bug);
}
} catch (Exception e) {
e.printStackTrace();
}
}