Fixing an error in previous commit : missing files in javadoc