Skip to content
Snippets Groups Projects
Verified Commit eb71b806 authored by Miles Vella's avatar Miles Vella
Browse files

simplify separator reference

parent 2d40907c
Branches
Tags
No related merge requests found
Pipeline #149741 passed
......@@ -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<>();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment