runtimeverification/javamop — pull request #105 by seriousamlqz (2014-10-02 18:50:10+00:00)
Title: Remove out-dated scripts.

Remove all the out-dated scripts. Now ExamplesITTest.java takes care of executing programs under examples/
@kheradmand and @xiaohe27 please review.