Fix incorrect end of stream when writing dumpstreams
treef59e08916f972afd2d3e82ee82816f65377f26db
-rw-r--r-- 111 .gitattributes
-rw-r--r-- 174 .gitignore
-rw-r--r-- 2590 BRIEF-INSTALLATION-INSTRUCTIONS
-rw-r--r-- 1390 COPYRIGHT.JILL
-rw-r--r-- 11582 Changelog.utf8
-rw-r--r-- 6457 ExceptionDefProcessor.java
-rw-r--r-- 1133 ImageMaker.java
-rw-r--r-- 1152 JPCApplication.java
-rw-r--r-- 17987 LICENSE
-rw-r--r-- 405 TODO.utf8
-rw-r--r-- 528 TestUTF
-rw-r--r-- 375 UTFInputTest.java
-rw-r--r-- 341 assemble.bat
-rw-r--r-- 370 assemble2.bat
-rwxr-xr-x 414 compile.bat
-rwxr-xr-x 865 compile.sh
-rw-r--r-- 999 copyright.banner
-rw-r--r-- 6641 exceptions.def
drwxr-xr-x - lua
-rw-r--r-- 32101 luakernel.lua
-rw-r--r-- 78226 manual.lyx
-rw-r--r-- 49205 manual.txt
drwxr-xr-x - misc
drwxr-xr-x - mnj
drwxr-xr-x - org
drwxr-xr-x - streamtools