runtimeverification/javamop — pull request #48 by owolabileg (2014-07-29 07:47:11+00:00)
Title: switching to Jcommander for handling options

@traiansf, @dwightguth please review