runtimeverification/javamop — pull request #142 by owolabileg (2014-10-18 12:56:24+00:00)
Title: explaining some jCommander option which can be confusing

@seriousamlqz Please review as we discussed.
@kheradmand, @xiaohe27 Please review