341342343344345346347348349350351
{ ve.veto(); return EVENT_CONSUMED; } process.clearModified(); } // TODO Fix 4: Check if deleting open process works, I assume there will be left over something... PluginMgr.getInstance().removeInstance(modeler); modeler.getPluginHolder().unlinkHolder();