/** 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
* throw e;
* }
*
- * @endrst
+ * \endrst
*/
public class ProcessKilledError extends Error {