#KJ-234 Submit K-Java for POPL artifact evaluation. Updated again, now with setup instructions.