--- a/Launcher.st	Thu Nov 05 14:29:27 1998 +0100
+++ b/Launcher.st	Thu Nov 05 20:42:04 1998 +0100
@@ -3380,7 +3380,7 @@
         javaJustInTimeCompilation value ~~ ObjectMemory javaJustInTimeCompilation ifTrue:[
             ObjectMemory javaJustInTimeCompilation:javaJustInTimeCompilation value.
             javaJustInTimeCompilation value ifTrue:[
-                JavaMethod allInstancesDo:[:m | m checked:false].
+                JavaMethod allSubInstancesDo:[:m | m checked:false].
             ].
         ].
         javaNativeCodeOptimization value ~~ ObjectMemory javaNativeCodeOptimization ifTrue:[
@@ -3390,7 +3390,7 @@
     box destroy
 
     "Created: / 18.7.1998 / 22:32:58 / cg"
-    "Modified: / 5.11.1998 / 14:28:33 / cg"
+    "Modified: / 5.11.1998 / 20:40:50 / cg"
 !
 
 keyboardSettingsFor:requestor 
@@ -5865,5 +5865,5 @@
 !Launcher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.391 1998-11-05 13:29:27 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.392 1998-11-05 19:42:04 cg Exp $'
 ! !