-/** This error class is only used to interrupt the java user code
- * when the process gets killed by an external event.
- * Don't catch it.
+/** Used internally to interrupt the user code when the process gets killed.
+ *
+ * \rst
+ * You can catch it for cleanups or to debug, but DO NOT BLOCK IT, or your simulation will segfault!
+ *
+ * .. code-block:: java
+ *
+ * try {
+ * getHost().off();
+ * } catch (ProcessKilledError e) {
+ * e.printStackTrace();
+ * throw e;
+ * }
+ *
+ * \endrst