private void export() {
		Production[] p = editingGrammarModel.getProductions();
	/*	System.out.println("PRINTTITTING");
		for (int i=0; i<p.length; i++)
		{
			System.out.println(p[i]);
		}*/
		try {
			p = CNFConverter.convert(p);
		} catch (UnsupportedOperationException e) {
			JOptionPane.showMessageDialog(this, e.getMessage(), "Export Error",
					JOptionPane.ERROR_MESSAGE);
			return;
		}
		try {
			Grammar g = (Grammar) grammar.getClass().newInstance();
			g.addProductions(p);
			g.setStartVariable(grammar.getStartVariable());
			FrameFactory.createFrame(g);
		} catch (Throwable e) {
			System.err.println(e);
		}
	}