[#2113] Document Record.hashCode() and equals() through Javadoc