Fixed broken javadocs discovered when building with JDK 7