diff --git a/plugin/it.polimi.dice.core.ui/META-INF/MANIFEST.MF b/plugin/it.polimi.dice.core.ui/META-INF/MANIFEST.MF
index 89e43b9..34fb56f 100644
--- a/plugin/it.polimi.dice.core.ui/META-INF/MANIFEST.MF
+++ b/plugin/it.polimi.dice.core.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: DICE Core UI
 Bundle-SymbolicName: it.polimi.dice.core.ui;singleton:=true
-Bundle-Version: 0.1.0
+Bundle-Version: 0.1.0.qualifier
 Bundle-Activator: it.polimi.dice.core.ui.DiceCoreUiPlugin
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.core.resources,
diff --git a/plugin/it.polimi.dice.core.ui/pom.xml b/plugin/it.polimi.dice.core.ui/pom.xml
index a1fe08e..8854da8 100644
--- a/plugin/it.polimi.dice.core.ui/pom.xml
+++ b/plugin/it.polimi.dice.core.ui/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.core/META-INF/MANIFEST.MF b/plugin/it.polimi.dice.core/META-INF/MANIFEST.MF
index e58357c..287e7e9 100644
--- a/plugin/it.polimi.dice.core/META-INF/MANIFEST.MF
+++ b/plugin/it.polimi.dice.core/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Dice Core Plugin
 Bundle-SymbolicName: it.polimi.dice.core;singleton:=true
-Bundle-Version: 0.1.0
+Bundle-Version: 0.1.0.qualifier
 Bundle-Activator: it.polimi.dice.core.DiceCorePlugin
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/plugin/it.polimi.dice.core/pom.xml b/plugin/it.polimi.dice.core/pom.xml
index 6221c50..8518abd 100644
--- a/plugin/it.polimi.dice.core/pom.xml
+++ b/plugin/it.polimi.dice.core/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-		<version>0.1.0</version>
+		<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.update/category.xml b/plugin/it.polimi.dice.update/category.xml
index 649aa9f..758fabc 100644
--- a/plugin/it.polimi.dice.update/category.xml
+++ b/plugin/it.polimi.dice.update/category.xml
@@ -1,12 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <site>
-   <feature url="features/it.polimi.dice.verification.feature_0.1.0.jar" id="it.polimi.dice.verification.feature" version="0.1.0">
+   <feature url="features/it.polimi.dice.verification.feature_0.1.0.qualifier.jar" id="it.polimi.dice.verification.feature" version="0.1.0.qualifier">
       <category name="it.polimi.dice.verification"/>
    </feature>
-   <feature url="features/it.polimi.dice.verification.ui.feature_0.1.0.jar" id="it.polimi.dice.verification.ui.feature" version="0.1.0">
+   <feature url="features/it.polimi.dice.verification.ui.feature_0.1.0.qualifier.jar" id="it.polimi.dice.verification.ui.feature" version="0.1.0.qualifier">
       <category name="it.polimi.dice.verification"/>
    </feature>
-   <feature url="features/it.polimi.dice.verification.uml2json.feature_0.1.0.jar" id="it.polimi.dice.verification.uml2json.feature" version="0.1.0">
+   <feature url="features/it.polimi.dice.verification.uml2json.feature_0.1.0.qualifier.jar" id="it.polimi.dice.verification.uml2json.feature" version="0.1.0.qualifier">
       <category name="it.polimi.dice.verification"/>
    </feature>
    <category-def name="it.polimi.dice.verification" label="DICE Verification by Polimi"/>
diff --git a/plugin/it.polimi.dice.update/pom.xml b/plugin/it.polimi.dice.update/pom.xml
index 06fee6e..4f4e054 100644
--- a/plugin/it.polimi.dice.update/pom.xml
+++ b/plugin/it.polimi.dice.update/pom.xml
@@ -9,6 +9,6 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 </project>
diff --git a/plugin/it.polimi.dice.verification.feature/feature.xml b/plugin/it.polimi.dice.verification.feature/feature.xml
index 42600a5..deef1b5 100644
--- a/plugin/it.polimi.dice.verification.feature/feature.xml
+++ b/plugin/it.polimi.dice.verification.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="it.polimi.dice.verification.feature"
       label="DICE Verification"
-      version="0.1.0">
+      version="0.1.0.qualifier">
 
    <description url="http://www.example.com/description">
       [Enter Feature Description here.]
@@ -20,7 +20,7 @@
          id="it.polimi.dice.verification"
          download-size="0"
          install-size="0"
-         version="0.1.0"
+         version="0.1.0.qualifier"
          unpack="false"/>
 
    <plugin
diff --git a/plugin/it.polimi.dice.verification.feature/pom.xml b/plugin/it.polimi.dice.verification.feature/pom.xml
index 4bab29d..0411c0e 100644
--- a/plugin/it.polimi.dice.verification.feature/pom.xml
+++ b/plugin/it.polimi.dice.verification.feature/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.verification.ui.feature/feature.xml b/plugin/it.polimi.dice.verification.ui.feature/feature.xml
index c0ebcf6..af02630 100644
--- a/plugin/it.polimi.dice.verification.ui.feature/feature.xml
+++ b/plugin/it.polimi.dice.verification.ui.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="it.polimi.dice.verification.ui.feature"
       label="DICE Verification UI"
-      version="0.1.0">
+      version="0.1.0.qualifier">
 
    <description url="http://www.example.com/description">
       [Enter Feature Description here.]
@@ -20,7 +20,7 @@
          id="it.polimi.dice.verification.ui"
          download-size="0"
          install-size="0"
-         version="0.1.0"
+         version="0.1.0.qualifier"
          unpack="false"/>
 
    <plugin
diff --git a/plugin/it.polimi.dice.verification.ui.feature/pom.xml b/plugin/it.polimi.dice.verification.ui.feature/pom.xml
index 012bbe5..0638a56 100644
--- a/plugin/it.polimi.dice.verification.ui.feature/pom.xml
+++ b/plugin/it.polimi.dice.verification.ui.feature/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.verification.ui/META-INF/MANIFEST.MF b/plugin/it.polimi.dice.verification.ui/META-INF/MANIFEST.MF
index 5feb2df..9225809 100644
--- a/plugin/it.polimi.dice.verification.ui/META-INF/MANIFEST.MF
+++ b/plugin/it.polimi.dice.verification.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: DICE Verification UI
 Bundle-SymbolicName: it.polimi.dice.verification.ui;singleton:=true
-Bundle-Version: 0.1.0
+Bundle-Version: 0.1.0.qualifier
 Bundle-Activator: it.polimi.dice.verification.ui.DiceVerificationUiPlugin
 Require-Bundle: org.eclipse.ui,
  org.eclipse.ui.ide,
diff --git a/plugin/it.polimi.dice.verification.ui/plugin.xml b/plugin/it.polimi.dice.verification.ui/plugin.xml
index 2676026..14ecd5e 100644
--- a/plugin/it.polimi.dice.verification.ui/plugin.xml
+++ b/plugin/it.polimi.dice.verification.ui/plugin.xml
@@ -28,7 +28,7 @@
    </extension>
    <extension
          point="org.eclipse.ui.menus">
-      <menuContribution
+      <!-- <menuContribution
             locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
          <menu
                id="it.polimi.dice.verification.ui.menus.diceVerificationMenu"
@@ -44,16 +44,21 @@
                	  </visibleWhen>
             </command>
          </menu>
-      </menuContribution>
+      </menuContribution>-->
       <menuContribution
             locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
          <toolbar
                id="it.polimi.dice.verification.ui.toolbars.sampleToolbar">
             <command
                   commandId="it.polimi.dice.verification.ui.commands.launchVerificationCommand"
-                  icon="icons/sample.gif"
+                  icon="icons/verify_icon.png"
                   id="it.polimi.dice.verification.ui.toolbars.LaunchVerificationCommand"
-                  tooltip="Say hello world">
+                  tooltip="Launch verification on current Papyrus Model">
+                  <visibleWhen>
+                       <with variable="activeEditorId">
+					       <equals value="org.eclipse.papyrus.infra.core.papyrusEditor"/>
+					    </with>
+                  </visibleWhen>
             </command>
          </toolbar>
       </menuContribution>
diff --git a/plugin/it.polimi.dice.verification.ui/pom.xml b/plugin/it.polimi.dice.verification.ui/pom.xml
index 297b6f5..7b12955 100644
--- a/plugin/it.polimi.dice.verification.ui/pom.xml
+++ b/plugin/it.polimi.dice.verification.ui/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-		<version>0.1.0</version>
+		<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/handlers/LaunchVerificationHandler.java b/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/handlers/LaunchVerificationHandler.java
index a03c3d1..9c9dcec 100644
--- a/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/handlers/LaunchVerificationHandler.java
+++ b/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/handlers/LaunchVerificationHandler.java
@@ -5,6 +5,8 @@
 import org.eclipse.core.commands.ExecutionException;
 import org.eclipse.debug.core.ILaunchManager;
 import org.eclipse.debug.ui.ILaunchShortcut;
+import org.eclipse.ui.IEditorPart;
+import org.eclipse.ui.IWorkbenchPage;
 import org.eclipse.ui.IWorkbenchWindow;
 import org.eclipse.ui.handlers.HandlerUtil;
 
@@ -29,7 +31,15 @@ public LaunchVerificationHandler() {
 	public Object execute(ExecutionEvent event) throws ExecutionException {
 		IWorkbenchWindow window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
 		ILaunchShortcut launchShortcut = new VerificationLaunchShortcut();
-		launchShortcut.launch(window.getActivePage().getActiveEditor(), ILaunchManager.RUN_MODE);
+		if (window != null) {
+			IWorkbenchPage page = window.getActivePage();
+			if (page != null) {
+				IEditorPart editor = page.getActiveEditor();
+				if(editor != null)
+					launchShortcut.launch(editor, ILaunchManager.RUN_MODE);
+			}
+		}
+		
 		return null;
 	}
 }
diff --git a/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/launcher/VerificationLaunchShortcut.java b/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/launcher/VerificationLaunchShortcut.java
index 64d0439..8d9706a 100644
--- a/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/launcher/VerificationLaunchShortcut.java
+++ b/plugin/it.polimi.dice.verification.ui/src/it/polimi/dice/verification/ui/launcher/VerificationLaunchShortcut.java
@@ -46,9 +46,11 @@ public void launch(ISelection selection, String mode) {
 	@Override
 	public void launch(IEditorPart editor, String mode) {
 		IEditorInput input = editor.getEditorInput();
-		IFile file = (IFile) input.getAdapter(IFile.class);
-		if (file != null) {
-			launch(file, mode);
+		if (input != null){
+			IFile file = (IFile) input.getAdapter(IFile.class);
+			if (file != null) {
+				launch(file, mode);
+			}	
 		}
 	}
 
diff --git a/plugin/it.polimi.dice.verification.uml2json.feature/feature.xml b/plugin/it.polimi.dice.verification.uml2json.feature/feature.xml
index f551923..74f3496 100644
--- a/plugin/it.polimi.dice.verification.uml2json.feature/feature.xml
+++ b/plugin/it.polimi.dice.verification.uml2json.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="it.polimi.dice.verification.uml2json.feature"
       label="DICE Uml2Json"
-      version="0.1.0">
+      version="0.1.0.qualifier">
 
    <description url="http://www.example.com/description">
       [Enter Feature Description here.]
diff --git a/plugin/it.polimi.dice.verification.uml2json.feature/pom.xml b/plugin/it.polimi.dice.verification.uml2json.feature/pom.xml
index ea2eea7..b9dcc78 100644
--- a/plugin/it.polimi.dice.verification.uml2json.feature/pom.xml
+++ b/plugin/it.polimi.dice.verification.uml2json.feature/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.verification.uml2json/META-INF/MANIFEST.MF b/plugin/it.polimi.dice.verification.uml2json/META-INF/MANIFEST.MF
index 2b90eca..a36ab87 100644
--- a/plugin/it.polimi.dice.verification.uml2json/META-INF/MANIFEST.MF
+++ b/plugin/it.polimi.dice.verification.uml2json/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Uml2json
 Bundle-SymbolicName: it.polimi.dice.verification.uml2json;singleton:=true
-Bundle-Version: 0.1.0
+Bundle-Version: 0.1.0.qualifier
 Bundle-Activator: it.polimi.dice.verification.uml2json.Uml2JsonPlugin
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.emf;bundle-version="2.6.0",
diff --git a/plugin/it.polimi.dice.verification.uml2json/pom.xml b/plugin/it.polimi.dice.verification.uml2json/pom.xml
index a5ab07d..4aa48fb 100644
--- a/plugin/it.polimi.dice.verification.uml2json/pom.xml
+++ b/plugin/it.polimi.dice.verification.uml2json/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.verification.uml2json/src/it/polimi/dice/verification/json/StormTopology.java b/plugin/it.polimi.dice.verification.uml2json/src/it/polimi/dice/verification/json/StormTopology.java
index d5df0d5..0817e11 100644
--- a/plugin/it.polimi.dice.verification.uml2json/src/it/polimi/dice/verification/json/StormTopology.java
+++ b/plugin/it.polimi.dice.verification.uml2json/src/it/polimi/dice/verification/json/StormTopology.java
@@ -31,6 +31,8 @@ public StormTopology(){
 		this.maxIdleTime = 0.1;
 		this.minRebootTime = 10;
 		this.maxRebootTime = 100;
+		this.initQueues = 5;
+		this.queueThreshold = 0;
 	}
 	/*
 	 "min_reboot_time":10,
diff --git a/plugin/it.polimi.dice.verification/META-INF/MANIFEST.MF b/plugin/it.polimi.dice.verification/META-INF/MANIFEST.MF
index 9794777..73ccd49 100644
--- a/plugin/it.polimi.dice.verification/META-INF/MANIFEST.MF
+++ b/plugin/it.polimi.dice.verification/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Verification
 Bundle-SymbolicName: it.polimi.dice.verification;singleton:=true
-Bundle-Version: 0.1.0
+Bundle-Version: 0.1.0.qualifier
 Bundle-Activator: it.polimi.dice.verification.DiceVerificationPlugin
 Require-Bundle: org.eclipse.core.runtime,
  it.polimi.dice.vtconfig,
diff --git a/plugin/it.polimi.dice.verification/pom.xml b/plugin/it.polimi.dice.verification/pom.xml
index 397175d..31830e0 100644
--- a/plugin/it.polimi.dice.verification/pom.xml
+++ b/plugin/it.polimi.dice.verification/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/it.polimi.dice.vtconfig/META-INF/MANIFEST.MF b/plugin/it.polimi.dice.vtconfig/META-INF/MANIFEST.MF
index 51e59a6..d71597f 100644
--- a/plugin/it.polimi.dice.vtconfig/META-INF/MANIFEST.MF
+++ b/plugin/it.polimi.dice.vtconfig/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: VtConfig
 Bundle-SymbolicName: it.polimi.dice.vtconfig;singleton:=true
-Bundle-Version: 0.1.0
+Bundle-Version: 0.1.0.qualifier
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.eclipse.emf.ecore,
  org.eclipse.core.runtime;bundle-version="3.11.1",
diff --git a/plugin/it.polimi.dice.vtconfig/pom.xml b/plugin/it.polimi.dice.vtconfig/pom.xml
index 3880c74..21635b9 100644
--- a/plugin/it.polimi.dice.vtconfig/pom.xml
+++ b/plugin/it.polimi.dice.vtconfig/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>it.polimi.dice</groupId>
 		<artifactId>it.polimi.dice.parent</artifactId>
-		<version>0.1.0</version>
+		<version>0.1.0-SNAPSHOT</version>
 	</parent>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
diff --git a/plugin/pom.xml b/plugin/pom.xml
index f24bef0..f66ebb1 100644
--- a/plugin/pom.xml
+++ b/plugin/pom.xml
@@ -5,7 +5,7 @@
 
 	<groupId>it.polimi.dice</groupId>
 	<artifactId>it.polimi.dice.parent</artifactId>
-	<version>0.1.0</version>
+	<version>0.1.0-SNAPSHOT</version>
 	<packaging>pom</packaging>
 
 	<name>it.polimi.dice.parent</name>