Work is currently underway to integrate changes for record serialization into the Java Object Serialization Specification. Once this work has completed, the serialization javadocs should be revisited.

In particular, ObjectInputStream has a large "@implSpec" section that has a bunch of text on record serialization. There are some smaller bits in ObjectOutputStream. These should be removed and replaced by a brief note and cross reference to the appropriate section of the JOSS.

Also consider updates to ObjectStreamClass, Serializable, and the java.io package spec if appropriate.