Index: /trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/JarLauncher.java
===================================================================
--- /trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/JarLauncher.java	(revision 285)
+++ /trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/JarLauncher.java	(revision 286)
@@ -9,4 +9,5 @@
 import java.net.URL;
 import java.net.URLClassLoader;
+import java.util.Arrays;
 import java.util.jar.JarInputStream;
 import java.util.jar.Manifest;
@@ -124,5 +125,5 @@
 	public JarLauncher(String jarfile, String[] args) {
 		this.jarfile = jarfile;
-		this.args = args;
+		this.args = Arrays.copyOf(args, args.length);
 	}