git: openjdk/jdk: master: 8356108: Update SourceVersion.RELEASE_25 description for JEPs 511 and 512

[Joe Darcy]

Changeset: 6719b921
Branch: master
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2025-05-05 15:42:19 +0000
URL:       https://git.openjdk.org/jdk/commit/6719b9214fb9c99da52e5d6c11f5d40b2aa73bd9

8356108: Update SourceVersion.RELEASE_25 description for JEPs 511 and 512

Reviewed-by: vromero, liach, iris, jlahoda

! src/java.compiler/share/classes/javax/lang/model/SourceVersion.java
! test/langtools/tools/javac/versions/Versions.java