+++ /dev/null
-/*
- * 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 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;
- public ProcessKilledError(String s) {
- super(s);
- }
-}