fix NPE using KeY cli caused by Java NIO

wadoon · wadoon · commit b3df2c09c4f0 · 2025-07-30T17:46:06.000+02:00
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/util/CommandLine.java b/key.ui/src/main/java/de/uka/ilkd/key/util/CommandLine.java
@@ -402,7 +402,7 @@ public ArrayList<Path> getFileArguments() {
 
             File tmp = new File(fileArg);
             if (tmp.exists()) {
-                ret.add(tmp.toPath());
+                ret.add(tmp.toPath().toAbsolutePath());
             } else {
                 Main.printUsageAndExit(false, "File not found: " + fileArg, -4);
             }

Original file line number	Diff line number	Diff line change
`@@ -402,7 +402,7 @@ public ArrayList<Path> getFileArguments() {`
`402`	`402`
`403`	`403`	`File tmp = new File(fileArg);`
`404`	`404`	`if (tmp.exists()) {`
`405`		`- ret.add(tmp.toPath());`
	`405`	`+ ret.add(tmp.toPath().toAbsolutePath());`
`406`	`406`	`} else {`
`407`	`407`	`Main.printUsageAndExit(false, "File not found: " + fileArg, -4);`
`408`	`408`	`}`