runtimeverification/javamop — pull request #85 by owolabileg (2014-09-19 16:00:38+00:00)
Title: Options cleanup

This fixes #54.

@xiaohe27, @yzhang90, @seriousamlqz Please review