runtimeverification/javamop — pull request #145 by yzhang90 (2014-10-21 15:56:17+00:00)
Title: Add agent usage

@seriousamlqz please review