public TMBruteParsePane(GrammarEnvironment environment, Grammar orig, Grammar trim, HashMap<String, String> map, InputTableModel model) {
		super(environment, orig);
		this.treePanel = new UnrestrictedTreePanel(this, map);
		initView();
		myTrimmedGrammar=trim;
		myTrimmedGrammar.setStartVariable("S");
		myModel = model;
	}