Incorporated OpenJDK's jdk7u71-b14 changes.