runtimeverification/javamop — pull request #154 by seriousamlqz (2014-10-25 04:45:30+00:00)
Title: Fixagent

@owolabileg @yzhang90 Fix javamop -n