kframework/k — pull request #1224 by dwightguth (2014-12-02 20:38:32+00:00)
Title: add matching on concrete lists in java backend

@yilongli please review