runtimeverification/javamop — pull request #75 by seriousamlqz (2014-09-17 16:58:12+00:00)
Title: Fix the hanging process problem without -v.

@owolabileg