kframework/k — pull request #847 by yilongli (2014-08-16 06:57:24+00:00)
Title: added location and source information to Java backend Rule

fixed https://github.com/kframework/k/issues/840 & https://github.com/kframework/k/issues/845
@dwightguth @andreistefanescu