From a11e26637d89d5ae840753eabcfe6deb2ac025be Mon Sep 17 00:00:00 2001
From: Severin Gehwolf <sgehwolf@redhat.com>
Date: Fri, 22 Nov 2024 18:00:39 +0100
Subject: [PATCH] Mention jdk.patched in System class

---
 src/java.base/share/classes/java/lang/System.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/java.base/share/classes/java/lang/System.java b/src/java.base/share/classes/java/lang/System.java
index b5cea4236adab..c098cedaa240c 100644
--- a/src/java.base/share/classes/java/lang/System.java
+++ b/src/java.base/share/classes/java/lang/System.java
@@ -662,6 +662,9 @@ public static native void arraycopy(Object src,  int  srcPos,
      *     <td>The upgrade module path</td></tr>
      * <tr><th scope="row">{@systemProperty jdk.module.main}</th>
      *     <td>The module name of the initial/main module</td></tr>
+     * <tr><th scope="row">{@systemProperty jdk.patched}</th>
+     *     <td>Set to {@code true} if and only if one or more --patch-module
+     *     options were passed to the launcher. {@code false} otherwise.</td></tr>
      * <tr><th scope="row">{@systemProperty jdk.module.main.class}</th>
      *     <td>The main class name of the initial module</td></tr>
      * <tr><th scope="row">{@systemProperty file.encoding}</th>