kframework/k — pull request #514 by yilongli (2014-05-29 19:28:22+00:00)
Title: emit error message when Java backend compiler get confused

@andreistefanescu @dwightguth please review. BTW, I would love to have better error message if possible. @andreistefanescu Any suggestions? Thanks.