kframework/k — pull request #600 by yilongli (2014-06-15 06:07:45+00:00)
Title: Add explicit support for bag in java backend

@dwightguth @andreistefanescu please review