#KJ-234 Submit K-Java for POPL artifact evaluation. Converted EOL to unix style, for safety.