Update to Java 7u51

This supersedes #28 which was for u45.

Both the JRE and JDK are up on S3.