kframework/k — pull request #1252 by daejunpark (2014-12-11 21:08:00+00:00)
Title: Keep location information of KItem in Java backend

for the Jenkins test