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...