#KJ-234 Submit K-Java for POPL artifact evaluation. Corrected a few typos, based on Grigore's input.