runtimeverification/javamop — pull request #55 by owolabileg (2014-08-29 00:57:42+00:00)
Title: Fixing import statements

This cleans up the import statements in the source files. Adressing #17. @pdaian please review.