runtimeverification/javamop — pull request #52 by owolabileg (2014-08-05 05:21:34+00:00)
Title: build agent from property-db and filter properties

This builds on #51 and adds a new option and a couple of configuration files. The goal here is to give the user some flexibility to determine which property goes in an agent that is built from the annotated-java-properties repo.

Not sure whom to specify for review.