From eb71b8067535771ef9af386f03dd6e458c341561 Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Tue, 21 Jan 2025 18:40:14 +0100
Subject: [PATCH] simplify separator reference

---
 src/main/java/de/tlc4b/TLCRunner.java | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/main/java/de/tlc4b/TLCRunner.java b/src/main/java/de/tlc4b/TLCRunner.java
index b7e427e..83d4896 100644
--- a/src/main/java/de/tlc4b/TLCRunner.java
+++ b/src/main/java/de/tlc4b/TLCRunner.java
@@ -50,10 +50,8 @@ public class TLCRunner {
 	private static Process startJVM(final String mainClass, final List<String> arguments)
 			throws IOException {
 
-		String separator = FileSystems.getDefault().getSeparator();
-
 		boolean isWindows = System.getProperty("os.name").toLowerCase(Locale.ROOT).startsWith("windows");
-		String jvm = System.getProperty("java.home") + separator + "bin" + separator + (isWindows ? "java.exe" : "java");
+		String jvm = System.getProperty("java.home") + File.separator + "bin" + File.separator + (isWindows ? "java.exe" : "java");
 		String classpath = System.getProperty("java.class.path");
 
 		List<String> command = new ArrayList<>();
-- 
GitLab