#KJ-234 Submit K-Java for POPL artifact evaluation. Updated the semantics to the same version as the prepared VM. Also some more corrections were made in examples and ltl-syntax. This is the same version of K-Java as the VM prepared for evaluation.