The semantics of Java in K - View it on GitHub