javadoc regenerated with Java 1.7.0-25, to avoid security issue