diff --git a/src/main/java/de/tlc4b/TLCRunner.java b/src/main/java/de/tlc4b/TLCRunner.java index b7e427e546c2451c9be434157c2e6fd60a3e12fa..83d4896c2bcad67713f5b39cba8cf6d21c6b0198 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<>();