Java 1.7: Updated documentation