Update javadoc to 1.13