runtimeverification/javamop — pull request #71 by seriousamlqz (2014-09-16 17:05:26+00:00)
Title: Change config

@owolabileg