While this one patch is meant to pave the road to make it easier to migrate to JPA 3 (Jakarta EE project), it doesn't actually change anything. It might be useful to backport this to older branches to keep the documentation sources more similar across maintained branches. |