runtimeverification/javamop — pull request #82 by owolabileg (2014-09-18 19:59:05+00:00)
Title: License

@grosu, @dwightguth Please review

Note that I wasn't sure what licence RVMonitor uses.