diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
index 2ce08d625..e710cb770 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
@@ -337,7 +337,7 @@
     <node concept="2kB4xC" id="42jqVeFkUte" role="1l3spd">
       <property role="TrG5h" value="date" />
       <node concept="hHN3E" id="42jqVeFkUtf" role="aVJcv">
-        <property role="hHN3Y" value="20180406" />
+        <property role="hHN3Y" value="20180602" />
       </node>
     </node>
     <node concept="2kB4xC" id="42jqVeFkUtg" role="1l3spd">
@@ -408,7 +408,7 @@
       <node concept="aVJcg" id="4aeOpjlAysR" role="aVJcv">
         <node concept="NbPM2" id="4aeOpjlAysQ" role="aVJcq">
           <node concept="3Mxwew" id="4aeOpjlAysP" role="3MwsjC">
-            <property role="3MwjfP" value="2018-04-06" />
+            <property role="3MwjfP" value="2018-06-02" />
           </node>
         </node>
       </node>
@@ -620,6 +620,18 @@
           <node concept="3LWZYq" id="407WgdX61le" role="1juEy9">
             <property role="3LWZYl" value="**/de.itemis.mps.editor.diagram/lib/libavoid/linux64/**" />
           </node>
+          <node concept="3LWZYq" id="2QnUwHmUCTT" role="1juEy9">
+            <property role="3LWZYl" value="**/lib/emma/**" />
+          </node>
+          <node concept="3LWZYq" id="2QnUwHmUF9P" role="1juEy9">
+            <property role="3LWZYl" value="**/lib/jung/**" />
+          </node>
+          <node concept="3LWZYq" id="2QnUwHmUFF9" role="1juEy9">
+            <property role="3LWZYl" value="**/lib/jfreechart/**" />
+          </node>
+          <node concept="3LWZYq" id="2QnUwHmUGHE" role="1juEy9">
+            <property role="3LWZYl" value="**/lib/plantuml/**" />
+          </node>
         </node>
         <node concept="3_I8Xc" id="4aeOpjlAaq3" role="39821P">
           <ref role="3_I8Xa" to="ffeo:2d0qgmCdg0g" resolve="make" />
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.icons_script.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.icons_script.mps
index 6687de62e..1f75831e9 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.icons_script.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.icons_script.mps
@@ -970,15 +970,52 @@
                                 </node>
                                 <node concept="3clFbJ" id="17WoWxlCGfg" role="3cqZAp">
                                   <node concept="3clFbS" id="17WoWxlCGfi" role="3clFbx">
-                                    <node concept="3clFbF" id="2ShgyhegGyg" role="3cqZAp">
-                                      <node concept="2OqwBi" id="2ShgyhegGyh" role="3clFbG">
-                                        <node concept="37vLTw" id="2ShgyhegGyi" role="2Oq$k0">
-                                          <ref role="3cqZAo" node="2ShgyhegGxY" resolve="prefix" />
+                                    <node concept="3clFbJ" id="2QnUwHmVg7S" role="3cqZAp">
+                                      <node concept="3clFbS" id="2QnUwHmVg7U" role="3clFbx">
+                                        <node concept="3SKdUt" id="2QnUwHmVpkO" role="3cqZAp">
+                                          <node concept="3SKdUq" id="2QnUwHmVpkQ" role="3SKWNk">
+                                            <property role="3SKdUp" value="the icons for the simulation bar should go in the editor folder for class files ..." />
+                                          </node>
                                         </node>
-                                        <node concept="liA8E" id="2ShgyhegGyj" role="2OqNvi">
-                                          <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                                          <node concept="Xl_RD" id="2ShgyhegGyk" role="37wK5m">
-                                            <property role="Xl_RC" value="structure" />
+                                        <node concept="3clFbF" id="2QnUwHmVlIt" role="3cqZAp">
+                                          <node concept="2OqwBi" id="2QnUwHmVlNo" role="3clFbG">
+                                            <node concept="37vLTw" id="2QnUwHmVlIr" role="2Oq$k0">
+                                              <ref role="3cqZAo" node="2ShgyhegGxY" resolve="prefix" />
+                                            </node>
+                                            <node concept="liA8E" id="2QnUwHmVmcE" role="2OqNvi">
+                                              <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                                              <node concept="Xl_RD" id="2QnUwHmVmww" role="37wK5m">
+                                                <property role="Xl_RC" value="editor" />
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="2OqwBi" id="2QnUwHmVgVT" role="3clFbw">
+                                        <node concept="37vLTw" id="2QnUwHmVgvY" role="2Oq$k0">
+                                          <ref role="3cqZAo" node="2ShgyhegGwQ" resolve="path_language" />
+                                        </node>
+                                        <node concept="liA8E" id="2QnUwHmVhih" role="2OqNvi">
+                                          <ref role="37wK5l" to="wyt6:~String.contains(java.lang.CharSequence):boolean" resolve="contains" />
+                                          <node concept="Xl_RD" id="2QnUwHmViN8" role="37wK5m">
+                                            <property role="Xl_RC" value="com.mbeddr.formal.base" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="9aQIb" id="2QnUwHmVo7I" role="9aQIa">
+                                        <node concept="3clFbS" id="2QnUwHmVo7J" role="9aQI4">
+                                          <node concept="3clFbF" id="2ShgyhegGyg" role="3cqZAp">
+                                            <node concept="2OqwBi" id="2ShgyhegGyh" role="3clFbG">
+                                              <node concept="37vLTw" id="2ShgyhegGyi" role="2Oq$k0">
+                                                <ref role="3cqZAo" node="2ShgyhegGxY" resolve="prefix" />
+                                              </node>
+                                              <node concept="liA8E" id="2ShgyhegGyj" role="2OqNvi">
+                                                <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                                                <node concept="Xl_RD" id="2ShgyhegGyk" role="37wK5m">
+                                                  <property role="Xl_RC" value="structure" />
+                                                </node>
+                                              </node>
+                                            </node>
                                           </node>
                                         </node>
                                       </node>