// Integer(java.awt.event.KeyEvent.VK_N));
// Set an accelerator key; this value is used by menu items
// putValue(Action.ACCELERATOR_KEY,
// KeyStroke.getKeyStroke(KeyEvent.VK_DOWN,InputEvent.SHIFT_DOWN_MASK+InputEvent.CTRL_DOWN_MASK));
synthesis = new SynthesisViewer();
synthesis.setSize(600, 600);
}