From ed8038cfe9ebaad2002a4af8cf4c64de3d7c0dbb Mon Sep 17 00:00:00 2001
From: Sam Brannen <sam@sambrannen.com>
Date: Mon, 3 Jul 2023 20:03:24 +0200
Subject: [PATCH] Polish Javadoc for JRE enum

---
 .../java/org/junit/jupiter/api/condition/JRE.java   | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/junit-jupiter-api/src/main/java/org/junit/jupiter/api/condition/JRE.java b/junit-jupiter-api/src/main/java/org/junit/jupiter/api/condition/JRE.java
index 50679310e9fa..fc6c980271b0 100644
--- a/junit-jupiter-api/src/main/java/org/junit/jupiter/api/condition/JRE.java
+++ b/junit-jupiter-api/src/main/java/org/junit/jupiter/api/condition/JRE.java
@@ -37,6 +37,13 @@
  * @see #JAVA_12
  * @see #JAVA_13
  * @see #JAVA_14
+ * @see #JAVA_15
+ * @see #JAVA_16
+ * @see #JAVA_17
+ * @see #JAVA_18
+ * @see #JAVA_19
+ * @see #JAVA_20
+ * @see #JAVA_21
  * @see #OTHER
  * @see EnabledOnJre
  * @see DisabledOnJre
@@ -221,14 +228,16 @@ private static JRE determineCurrentVersion() {
 
 	/**
 	 * @return {@code true} if <em>this</em> {@code JRE} is known to be the
-	 * Java Runtime Environment version for the currently executing JVM
+	 * Java Runtime Environment version for the currently executing JVM or if
+	 * the version is {@link #OTHER}
 	 */
 	public boolean isCurrentVersion() {
 		return this == CURRENT_VERSION;
 	}
 
 	/**
-	 * @return the {@link JRE} for the currently executing JVM
+	 * @return the {@link JRE} for the currently executing JVM, potentially
+	 * {@link #OTHER}
 	 *
 	 * @since 5.7
 	 */