JavaNameAndType2.st
changeset 3860 e87f2f1439e9
parent 3431 82790b1e6d54
--- a/JavaNameAndType2.st	Thu Sep 27 23:16:42 2018 +0100
+++ b/JavaNameAndType2.st	Wed Nov 14 11:40:39 2018 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1996-2015 by Claus Gittinger