kframework/java-semantics — pull request #18 by laurayuwen (2014-12-02 23:34:28+00:00)
Title: Semantics change

Still last pull request reviewed by Denis, made two changes as feedback, no other new changes