Edit in javadoc to reflect change in last commit