--- a/Java.st	Fri Jan 10 13:38:18 2020 +0100
+++ b/Java.st	Sun Feb 23 14:03:15 2020 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1996-2015 by Claus Gittinger
 
@@ -586,13 +588,13 @@
 
     | props |
 
-    stream nextPutAll: '== VM configuration =='; cr.
+    stream nextPutLine: '== VM configuration =='.
     self dumpConfigKey: 'JIT' value: (ObjectMemory javaJustInTimeCompilation printString) on: stream.
     self dumpConfigKey: 'Native Opt' value: (ObjectMemory javaNativeCodeOptimization printString) on: stream.
     Java release dumpConfigOn: stream.
     props := Dictionary new.
     JavaVM initializeSystemPropertiesInto: props.
-    stream nextPutAll: '== Initial system properties =='; cr.
+    stream nextPutLine: '== Initial system properties =='.
     props keysAndValuesDo:[:key :value|
         self dumpConfigKey: key value: value on: stream.
     ].