+/*
+ * Copyright 2006-2012 The SimGrid team
+ * All right reserved.
+ *
+ * This program is free software; you can redistribute
+ * it and/or modify it under the terms of the license
+ * (GNU LGPL) which comes with this package.
+ */
package org.simgrid.msg;
-/** This exception class is only used to interrupt the java user code
- * when the process gets killed by an external event */
+/** 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.
+ */
public class ProcessKilledError extends Error {
private static final long serialVersionUID = 1L;