more changes
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
formatted some files
Some progress getting Array_Realiz to compile.  Also, fixed an incompatibility where I had inadvertently introduced a Java 7 feature into JProofDisplay.
removed duplicate pre/post processor
Merge pull request #22 from yushan87/bug-fix

Bug fix