kframework/k — pull request #1192 by dwightguth (2014-11-19 16:34:32+00:00)
Title: create JavaCC parser for new KAST

**do not review yet**