*/
	private JPanel initRightPanel() {
		JPanel right = new JPanel();
		right.setLayout(new BoxLayout(right, BoxLayout.Y_AXIS));
		initEditingGrammarTable();
		mainLabel.setAlignmentX(0.0f);
		directionLabel.setAlignmentX(0.0f);
		right.add(mainLabel);
		right.add(directionLabel);
		right.add(new JScrollPane(editingGrammarView));

		JPanel biggie = new JPanel(new BorderLayout());
		biggie.add(right, BorderLayout.CENTER);
		JToolBar bar = new JToolBar();
		bar.add(convertAction);
		bar.add(doAllAction);
		bar.add(highlightAction);
		bar.addSeparator();
		bar.add(exportAction);
		biggie.add(bar, BorderLayout.NORTH);
		return biggie;
	}