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);
}