Comment out use of deprecated commands in examples/java/arrays.saw.
Comment out use of deprecated commands in examples/java/arrays.saw.

We leave a "FIXME" comment reminding us to reinstate the example
once jvm_extract has been enhanced to support array types.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script