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