Keep location information of KItem in Java backend
Merge pull request #1252 from kframework/location-info-kitem

Keep location information of KItem in Java backend