runtimeverification/javamop — pull request #117 by owolabileg (2014-10-06 17:34:51+00:00)
Title: fixing unwanted output in windows

This should fix #112

@seriousamlqz, @kheradmand , @xiaohe27 Please review