rename operation to event in messages

de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/SelectOperationDialog.java

@@ -48,7 +48,7 @@ public class SelectOperationDialog extends Dialog {
 		container.setLayout(gl);
 
 		Label lb = new Label(container, SWT.NONE);
-		lb.setText("Select an operation:");
+		lb.setText("Select an event:");
 		lb.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING));
 
 		listViewer = new ListViewer(container);
@@ -72,7 +72,7 @@ public class SelectOperationDialog extends Dialog {
 	@Override
 	protected void configureShell(Shell newShell) {
 		super.configureShell(newShell);
-		newShell.setText("Please select an operation ...");
+		newShell.setText("Please select an event ...");
 	}
 
 	@Override
@@ -89,7 +89,7 @@ public class SelectOperationDialog extends Dialog {
 
 		if (selectedOperation == null) {
 			MessageDialog.openError(Display.getDefault().getActiveShell(),
-					"An error occurred", "Please select an operation ...");
+					"An error occurred", "Please select an event ...");
 			return;
 		} else {
 			setReturnCode(OK);

de.prob.ui/src/de/prob/ui/operationview/ExecuteEventHandler.java

@@ -39,7 +39,7 @@ public class ExecuteEventHandler extends AbstractHandler implements IHandler {
 				} catch (ProBException e) {
 					e.notifyUserOnce();
 					throw new ExecutionException(
-							"executing the operation failed", e);
+							"executing the event failed", e);
 				}
 			}
 		}

de.prob.ui/src/de/prob/ui/operationview/GetOperationByPredicateCommand2.java

@@ -66,7 +66,7 @@ public final class GetOperationByPredicateCommand2 implements
 			parsedEvalElement = PredicateEvalElement.fromRodin(parsedPredicate);
 		} catch (BException e) {
 			String message = "Fatal error when trying to parse " + predicate
-					+ ". Execution of operation " + name + " aborted.";
+					+ ". Execution of event " + name + " aborted.";
 			ProblemHandler.raiseCommandException(message);
 			parsedEvalElement = null;
 		} finally {