runtimeverification/javamop — pull request #172 by kheradmand (2014-10-31 22:57:26+00:00)
Title: Shorten readme

@grosu @xiaohe27 @seriousamlqz @owolabileg Please review.
I personally think that Troubleshooting in wikipage looks better than in docs/Troubleshooting.md