super(ui, conf);
visualController = new VisualController(this);
ActionFactory.createStaticActions(this);
getVepController().register(AbstractViewEvent.VIEWEVENTTYPE_APPLICATION,
new ApplicationEventProcessor(AbstractViewEvent.VIEWEVENTTYPE_APPLICATION, this));
getVepController().register(AbstractViewEvent.VIEWEVENTTYPE_EDIT,
new EditorEventProcessor(AbstractViewEvent.VIEWEVENTTYPE_EDIT, this));
getVepController().register(AbstractViewEvent.VIEWEVENTTYPE_REACHGRAPH,
new ReachabilityGraphEventProcessor(AbstractViewEvent.VIEWEVENTTYPE_REACHGRAPH, this));
clipboard.addClipboardListener(visualController);