diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java index 0942d15715ac706dae70a4a0e560095f5afb3e8b..68dfb3f41a5d9c1fc7937b7da679951c346282f8 100644 --- a/src/test/java/de/tlc4b/util/TestUtil.java +++ b/src/test/java/de/tlc4b/util/TestUtil.java @@ -158,7 +158,7 @@ public class TestUtil { } private static TLCResult runTLC(String runnerClassName, String[] args) throws IOException { - final Process p = startJVM("", runnerClassName, args); + final Process p = startJVM(runnerClassName, args); StreamGobbler stdOut = new StreamGobbler(p.getInputStream()); stdOut.start(); try { @@ -179,7 +179,7 @@ public class TestUtil { } - private static Process startJVM(final String optionsAsString, final String mainClass, final String[] arguments) + private static Process startJVM(final String mainClass, final String[] arguments) throws IOException { String separator = System.getProperty("file.separator");