runtimeverification/javamop — pull request #163 by seriousamlqz (2014-10-29 18:34:44+00:00)
Title: Fixinstall

Fix install to address #159
@grosu please review