Updated javadoc for version 1.12.