Record classes javadoc