X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1283307f26e739e654d195f81cceee5ce1683d99..8e67b024cf0592ddef06e37870b36d4a4dfe058b:/simgrid-java/org/simgrid/msg/ProcessKilledError.java

diff --git a/simgrid-java/org/simgrid/msg/ProcessKilledError.java b/simgrid-java/org/simgrid/msg/ProcessKilledError.java
deleted file mode 100644
index 5f7e327a86..0000000000
--- a/simgrid-java/org/simgrid/msg/ProcessKilledError.java
+++ /dev/null
@@ -1,21 +0,0 @@
-/*
- * 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);
-	}
-}