runtimeverification/javamop — pull request #87 by seriousamlqz (2014-09-26 15:39:08+00:00)
Title: Cleanup

@owolabileg and @yzhang90, please review this clean-up change