kframework/k — pull request #872 by yilongli (2014-08-24 08:00:19+00:00)
Title: Reimplement java backend builtin list (do not review yet)

testing...