javadoc (record)