Integrate the patch javadoc-openjdk17 from Debian

diff --git a/src/bindings/java/org/simgrid/msg/ProcessKilledError.java b/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
index 8f76d01..fcf2780 100644 (file)
--- a/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
+++ b/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
@@ -7,7 +7,7 @@ package org.simgrid.msg;
 
 /** Used internally to interrupt the user code when the process gets killed.
  *
- * @beginrst
+ * \beginrst
  * You can catch it for cleanups or to debug, but DO NOT BLOCK IT, or your simulation will segfault!
  *
  * .. code-block:: java
@@ -19,7 +19,7 @@ package org.simgrid.msg;
  *      throw e;
  *    }
  *
- * @endrst
+ * \endrst
  */
 
 public class ProcessKilledError extends Error {