kframework/k — pull request #884 by dwightguth (2014-08-27 17:36:45+00:00)
Title: separate out static dependencies of core on java backend

**do not review yet**