Java backend: pattern matching: removed a wrong assertion
Java backend: pattern matching: removed a wrong assertion
Merge branch 'master' of github.com:yilongli/k
addressed the comments on code review
Merge pull request #265 from yilongli/master

my first pull request; addressed comments from code review