kframework/k — pull request #595 by yilongli (2014-06-13 20:38:08+00:00)
Title: Add explicit support for bag in java backend

Still testing. Not ready for review.