Some progress getting Array_Realiz to compile.  Also, fixed an incompatibility where I had inadvertently introduced a Java 7 feature into JProofDisplay.
Merge pull request #21 from hamptonsmith/master

Some progress toward compiling Array_Realiz.  Also, fixed an incompata...
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge pull request #22 from yushan87/bug-fix

Bug fix
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE