@ 260915.5

230917.1 · 4af28c84e2a1a47bea2f9fab58b5637c05b0180d

released 4.1.0

fix #118 fix #284 fix #285 fix #286 fix #287 fix #289 and other additions and improvements

reading declarations

Changes to tests/out/Hello_wnhS-I-vC2.out. All files

tests/out/Hello_wnhS-I-vC2.out

new file mode 100644@@ -0,0 +1,9 @@+Hello.java-import java.lang.*;+Hello.java:+Hello.java-public class Hello // prints a Hello World! greeting+Hello.java-{ public static void main(String[] arg)+Hello.java-  { System.out.println("Hello World!");+Hello.java:  }+Hello.java:}+Hello.txt:Hello+emptyline.txt: