From 0c063db024650534bc28ed405da0159188915531 Mon Sep 17 00:00:00 2001
From: Mattias Ulbrich <ulbrich@kit.edu>
Date: Sat, 15 Aug 2026 13:59:57 +0200
Subject: [PATCH] repairing NPE when invoking KeY on a local file.

---
 key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java b/key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java
index 53a53f3218d..2a12570af18 100644
--- a/key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java
+++ b/key.core/src/main/java/de/uka/ilkd/key/proof/io/KeYFile.java
@@ -321,6 +321,9 @@ public Path readJavaPath() throws ProofInputException {
             if (!absFile.isAbsolute()) {
                 // convert to absolute by resolving against the parent path of the parsed file
                 Path parent = file.file().getParent();
+                if (parent == null) {
+                    parent = Path.of(".");
+                }
                 absFile = parent.resolve(javaPath).normalize();
             }
             if (!Files.exists(absFile)) {