runtimeverification/javamop — pull request #72 by owolabileg (2014-09-16 19:20:58+00:00)
Title: adding two more specs which are no longer problematic

@seriousamlqz, please review