Bug system: https://bugs.openjdk.java.net JDK-8286034: Add SourceVersion.RELEASE_20 JSK-8289249: Add methods to Elements for record constructors JDK-8293958: Clarify ExecutableType documentation JDK-8296287: Improve documentation for Types.directSupertypes() JDK-8297305: Clarify that javax.lang.model.util.Elements.overrides is irreflexive