runtimeverification/javamop — pull request #182 by kheradmand (2014-11-05 00:24:01+00:00)
Title: Troubleshooting

@grosu @xiaohe27 @seriousamlqz
Plz review