diff --git a/src/main/java/de/tlc4b/TLCRunner.java b/src/main/java/de/tlc4b/TLCRunner.java index d6ccdea86faace053e5851b9806f3eb42e5815fb..f04f3f0ed1a94428ef7d8c209fbcf30d6f30068c 100644 --- a/src/main/java/de/tlc4b/TLCRunner.java +++ b/src/main/java/de/tlc4b/TLCRunner.java @@ -57,7 +57,7 @@ public class TLCRunner { + separator + "java"; String classpath = System.getProperty("java.class.path"); - List<String> command = Arrays.asList(jvm, "-cp", classpath, mainClass); + List<String> command = new ArrayList<>(Arrays.asList(jvm, "-cp", classpath, mainClass)); command.addAll(Arrays.asList(arguments)); ProcessBuilder processBuilder = new ProcessBuilder(command);