kframework/k — pull request #1212 by andreistefanescu (2014-11-25 23:31:47+00:00)
Title: removing lookup and update classes form the java backend

not ready for review