bluej.setPreferenceGenerator(new FindBugsPreferences(bluej));
	public void startup(BlueJ bluej)	{		bluej.setMenuGenerator(new CheckBoxMenuBuilder());		bluej.addCompileListener(new RunFindbugs(bluej));	}