kframework/k — pull request #1114 by yilongli (2014-10-27 21:16:02+00:00)
Title: Fix java backend

several important fix for the Java backend in order to run/prove list_reverse.cil.c

@andreistefanescu please review