runtimeverification/javamop — pull request #153 by xiaohe27 (2014-10-24 20:23:33+00:00)
Title: modify the troubleshooting section of README to provide another solution...

... to code-size-too-big problem

@seriousamlqz @kheradmand Please review.