runtimeverification/javamop — pull request #121 by seriousamlqz (2014-10-07 21:06:50+00:00)
Title: Remove un-used and out-dated scripts in JavaMOP/bin

@kheradmand @xiaohe27 @yzhang90 Please review.

This should fix #114