1 package org.simgrid.msg;
3 /** This error class is only used to interrupt the java user code
4 * when the process gets killed by an external event.
8 public class ProcessKilledError extends Error {
9 private static final long serialVersionUID = 1L;
10 public ProcessKilledError(String s) {