runtimeverification/javamop — pull request #119 by owolabileg (2014-10-07 00:52:10+00:00)
Title: changing default name used for agent

This should fix #90

@seriousamlqz, @yzhang90, @kheradmand, @kheradmand please review