runtimeverification/javamop — pull request #73 by owolabileg (2014-09-16 20:13:04+00:00)
Title: catching JCommander exception on unknown parameters

This should fix latest comment on #64

@dwightguth, @xiaohe27, @seriousamlqz, Please review