kframework/k — pull request #629 by dwightguth (2014-06-19 15:23:08+00:00)
Title: fix kast --parser binary on java backend

Nasty hack, I know. I still want to wait for the new kast to fix this properly though.

@radumereuta please review.