runtimeverification/javamop — pull request #42 by Databean (2014-07-16 21:56:07+00:00)
Title: Maven Build

Requires access to rv-monitor. It works if you have done `mvn install` on the root rv-monitor folder. Merging this will have to wait pending RV-Monitor being retrievable from the RV repository.

@dwightguth please reveiw when you have time (not urgent).