fix kast --parser binary on java backend
Merge pull request #629 from dwightguth/binaryparser

fix kast --parser binary on java backend