runtimeverification/javamop — pull request #51 by owolabileg (2014-08-04 19:13:15+00:00)
Title: switching to jCommander

This is now ready for review. @traiansf, @dwightguth, please review