BugReporter filterBugReporter = new FilterBugReporter(origBugReporter, filter, include);
BugReporter filterBugReporter = new FilterBugReporter(origBugReporter, (Matcher)filter, include);
	public void setFilter(String filterFileName, boolean include) throws IOException, FilterException {		Filter filter = new Filter(filterFileName);		BugReporter origBugReporter = bugReporter.getRealBugReporter();		BugReporter filterBugReporter = new FilterBugReporter(origBugReporter, filter, include);		bugReporter.setRealBugReporter(filterBugReporter);	}