runtimeverification/javamop — pull request #169 by seriousamlqz (2014-10-30 22:08:04+00:00)
Title: License

@grosu