bugfix/ async Editor Highlightning #459: Omits showing OK CheckResults in Editor

Author: dbinkele

code/languages/org.iets3.opensource/languages/org.iets3.analysis.base/models/plugin.mps

@@ -1973,8 +1973,32 @@
                                     </node>
                                     <node concept="2OqwBi" id="7S7fpHXXI9v" role="37vLTx">
                                       <node concept="2OqwBi" id="7S7fpHXXI9w" role="2Oq$k0">
-                                        <node concept="37vLTw" id="7S7fpHXXI9x" role="2Oq$k0">
-                                          <ref role="3cqZAo" node="6QuUnmaD9iH" resolve="results" />
+                                        <node concept="2OqwBi" id="2DY7Pky2B_j" role="2Oq$k0">
+                                          <node concept="37vLTw" id="7S7fpHXXI9x" role="2Oq$k0">
+                                            <ref role="3cqZAo" node="6QuUnmaD9iH" resolve="results" />
+                                          </node>
+                                          <node concept="3zZkjj" id="2DY7Pky2D1x" role="2OqNvi">
+                                            <node concept="1bVj0M" id="2DY7Pky2D1z" role="23t8la">
+                                              <node concept="3clFbS" id="2DY7Pky2D1$" role="1bW5cS">
+                                                <node concept="3clFbF" id="2DY7Pky2EWQ" role="3cqZAp">
+                                                  <node concept="3fqX7Q" id="2DY7Pky2G7n" role="3clFbG">
+                                                    <node concept="2OqwBi" id="2DY7Pky2G7p" role="3fr31v">
+                                                      <node concept="37vLTw" id="2DY7Pky2G7q" role="2Oq$k0">
+                                                        <ref role="3cqZAo" node="2DY7Pky2D1_" resolve="it" />
+                                                      </node>
+                                                      <node concept="liA8E" id="2DY7Pky2G7r" role="2OqNvi">
+                                                        <ref role="37wK5l" to="gdgh:5zG5$Lyex2e" resolve="isOk" />
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                              <node concept="Rh6nW" id="2DY7Pky2D1_" role="1bW2Oz">
+                                                <property role="TrG5h" value="it" />
+                                                <node concept="2jxLKc" id="2DY7Pky2D1A" role="1tU5fm" />
+                                              </node>
+                                            </node>
+                                          </node>
                                         </node>
                                         <node concept="3goQfb" id="7S7fpHXXI9y" role="2OqNvi">
                                           <node concept="1bVj0M" id="7S7fpHXXI9z" role="23t8la">