runtimeverification/javamop — pull request #95 by seriousamlqz (2014-10-01 03:09:14+00:00)
Title: Extract interface

Extract an interface for configuration, for it to be extensible in future.
@owolabileg please review, thanks!