runtimeverification/javamop — pull request #124 by seriousamlqz (2014-10-09 21:16:57+00:00)
Title: Refactor

Create a SpecFiltering package and put SpecFilter and Configuraiton classes into that package, as we discussed yesterday.

Put several commonly used top-level classes into Util.

@kheradmand @xiaohe27 and @yzhang90 please review, because we proceed to further refactoring.