--- a/Launcher.st	Thu Dec 10 17:40:28 1998 +0100
+++ b/Launcher.st	Wed Dec 16 13:10:23 1998 +0100
@@ -3309,7 +3309,8 @@
     |box audio javaHome resources component
      extraFileSecurityChecks extraSocketSecurityChecks
      supportsJustInTimeCompilation 
-     javaJustInTimeCompilation javaNativeCodeOptimization|
+     javaJustInTimeCompilation javaNativeCodeOptimization
+     showJavaByteCode|
 
     resources := requestor class classResources.
 
@@ -3322,6 +3323,7 @@
     ] ifFalse:[
         javaJustInTimeCompilation := javaNativeCodeOptimization := false
     ].
+    showJavaByteCode := JavaMethod forceByteCodeDisplay asValue.
 
     javaHome := (Java javaHome ? '') asValue.
 
@@ -3341,6 +3343,8 @@
             on:javaNativeCodeOptimization.
     ].
     box addHorizontalLine.
+    box addCheckBox:(resources string:'Display java byteCode (i.e. not source)') on:showJavaByteCode.
+    box addHorizontalLine.
     component := box 
                     addLabelledInputField:(resources string:'java home:')
                     adjust:#right
@@ -3376,6 +3380,7 @@
     box open.
 
     box accepted ifTrue:[
+        JavaMethod forceByteCodeDisplay:showJavaByteCode value. 
         JavaVM audioEnabled:audio value.
         JavaVM fileOpenConfirmation: extraFileSecurityChecks value.
         JavaVM socketConnectConfirmation: extraSocketSecurityChecks value.
@@ -3392,7 +3397,7 @@
     box destroy
 
     "Created: / 18.7.1998 / 22:32:58 / cg"
-    "Modified: / 4.12.1998 / 16:17:06 / cg"
+    "Modified: / 16.12.1998 / 13:09:06 / cg"
 !
 
 keyboardSettingsFor:requestor 
@@ -5867,5 +5872,5 @@
 !Launcher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.393 1998-12-04 15:34:37 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.394 1998-12-16 12:10:23 cg Exp $'
 ! !