runtimeverification/javamop — pull request #65 by owolabileg (2014-09-13 04:19:10+00:00)
Title: adding extra help option; fixes #64

@xiaohe27, please review.