runtimeverification/javamop — pull request #174 by xiaohe27 (2014-11-01 15:35:45+00:00)
Title: remove the duplicated part in troubleshooting section

The description of the first solution of the "code size too big" can be found both in the troubleshooting webpage and the previous README's troubleshooting section. The contents are similar but not exactly the same, so we only need to keep the latest one. @seriousamlqz @kheradmand please review.