kframework/k — pull request #905 by dwightguth (2014-08-29 21:26:55+00:00)
Title: refactor rule metadata in java backend to use typed attributes

@yilongli please review