Updated javadoc for version 1.13.