Fix javadocs for JDK 1.7