runtimeverification/javamop — pull request #76 by owolabileg (2014-09-17 21:10:44+00:00)
Title: Fix some platform dependence

@seriousamlqz Please review