Instrumentation of MoDisco UI for OCL16 EMC JDT paper

ocl16-emcjdt-modisco.patch

diff --git a/org.eclipse.modisco.infra.discovery.ui/src/org/eclipse/modisco/infra/discovery/ui/internal/actions/MoDiscoMenuSelectionListener.java b/org.eclipse.modisco.infra.discovery.ui/src/org/eclipse/modisco/infra/discovery/ui/internal/actions/MoDiscoMenuSelectionListener.java
index 16ef796..469d613 100644
--- a/org.eclipse.modisco.infra.discovery.ui/src/org/eclipse/modisco/infra/discovery/ui/internal/actions/MoDiscoMenuSelectionListener.java
+++ b/org.eclipse.modisco.infra.discovery.ui/src/org/eclipse/modisco/infra/discovery/ui/internal/actions/MoDiscoMenuSelectionListener.java
@@ -165,6 +165,9 @@ public class MoDiscoMenuSelectionListener implements SelectionListener {
 					if (monitor.isCanceled()) {
 						return Status.CANCEL_STATUS;
 					}
+
+					final long startMillis = System.currentTimeMillis();
+
 					discovererElement(source, parameterValues, discoverer, monitor);
 					monitor.worked(1);
 					if (paramsDialogResult.isOpenModel()) {
@@ -174,6 +177,7 @@ public class MoDiscoMenuSelectionListener implements SelectionListener {
 					if (monitor.isCanceled()) {
 						return Status.CANCEL_STATUS;
 					}
+					System.err.println("Time taken by MoDisco extraction: " + (System.currentTimeMillis()-startMillis)/1000. + " s");
 					return Status.OK_STATUS;
 				}
 			};