#KJ-234 Submit K-Java for POPL artifact evaluation. Updated the instructions according to the rebuttal. Particularly, improved section VI.