diff --git a/jplag/src/main/java/jplag/JPlag.java b/jplag/src/main/java/jplag/JPlag.java
index 0ac8dffee..93d0dbc54 100644
--- a/jplag/src/main/java/jplag/JPlag.java
+++ b/jplag/src/main/java/jplag/JPlag.java
@@ -17,6 +17,7 @@ public static void main(String[] args) {
             }
             catch(ExitException ex) {
                 System.out.println("Error: "+ex.getReport());
+		System.exit(1);
             }
 		}
 	}