runtimeverification/javamop — pull request #148 by kheradmand (2014-10-23 21:45:10+00:00)
Title: Ahreadmeagain

@seriousamlqz @yzhang90 @xiaohe27 @owolabileg please review **carefully**.