runtimeverification/javamop — pull request #61 by owolabileg (2014-09-07 23:39:07+00:00)
Title: Fix windows script

This adds the jcommader and commons-io jars to the javamop.bat script. These dependencies will probably be better dealt with when we eventually switch to maven. In the meantime, this is needed to run the javamop.bat script on Windows. @seriousamlqz, please review.