From 955c9a139d25b6bdafbc31093a2307d8d3c2d342 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Tue, 21 Jan 2025 16:02:49 +0100
Subject: [PATCH] fix runTLCInANewJVM
---
src/main/java/de/tlc4b/TLCRunner.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLCRunner.java b/src/main/java/de/tlc4b/TLCRunner.java
index d6ccdea..f04f3f0 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);
--
GitLab