kframework/k — pull request #715 by yilongli (2014-07-13 02:56:45+00:00)
Title: Singleton pattern for sorts in java backend

do not review yet