runtimeverification/javamop — pull request #83 by owolabileg (2014-09-18 21:12:58+00:00)
Title: Adding Copyright to all relevant files

This should address issue #19.

@seriousamlqz, @dwightguth, @grosu Please review