runtimeverification/javamop — pull request #150 by yzhang90 (2014-10-24 15:45:46+00:00)
Title: add distributionManagement section

see issue #147. @seriousamlqz , please review