void setParseTable(LRParseTable table) {
		if (tableView == null) {
			tableView = new LRParseTableChooserPane(table);
			split2.setRightComponent(new JScrollPane(tableView));
			// add(new JScrollPane(tableView), BorderLayout.SOUTH);
		} else
			tableView.setModel(table);
	}