kframework/k — pull request #1223 by dwightguth (2014-12-02 20:37:30+00:00)
Title: fix pretty printing of user lists in java backend

@yilongli please review