EMFUserError error = new EMFUserError(EMFErrorSeverity.ERROR, 1030, new Vector(), params );
getErrorHandler().addError(error);
return;
}
enginedao.eraseEngine(engine);
} catch (EMFUserError e){
HashMap params = new HashMap();
params.put(AdmintoolsConstants.PAGE, ListEnginesModule.MODULE_PAGE);
throw new EMFUserError(EMFErrorSeverity.ERROR, 1013, new Vector(), params);