thread synchronization stuff, kinda important

pdex/src/processing/mode/experimental/DebugEditor.java

@@ -312,7 +312,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
         dbg.stopDebug();
         // remove var.inspector
         vi.dispose();
-        
+        errorCheckerService.stopThread();
         // original dispose
         super.dispose();
     }