added several png files that appeared after restarting on elite9, I
don't now why
modified a setting file to use java 8
.gitignore changed, whozdonit?
removed the java8 setting because the java 8 installation was
not detected/found
the JDT setting original file
renamed Arrow to JavaArrow because it requires a method morph() that
transforms Java ojbects. We may wish to represent more general Arrows
whose transformation is not representable in Java....
.gitignored changed, and a paper.png file appeared
eliminated distinction betwen OpNode and OpNodeRaw
generalized the type of field definition, from String to CharSequence