kframework/k — pull request #891 by dwightguth (2014-08-27 21:26:28+00:00)
Title: separate out static dependencies of core on java backend

@andreistefanescu @yilongli @cos please review