Update javadoc for 1.13 release