Reference Java 7 documentation.