kframework/k — pull request #1134 by cos (2014-10-29 22:34:17+00:00)
Title: feature/sketch kore java interface

**do not review yet**