Some progress toward compiling Array_Realiz.  Also, fixed an incompata...

...bility where I had inadvertently introduced a Java 7 feature into JProofDisplay.