#KJ-234 Submit K-Java for POPL artifact evaluation. The final version, wrapped to 79 characters.