#KJ-234 Submit K-Java for POPL artifact evaluation. Finished producing the instructions, although some minor changes to the semantics were necessary. Changes to the semantics are not committed yet.