Correctly handle unloading proofs

DerDrodt · Feb 4, 2023 · 16e768e · 16e768e
1 parent 41f5b53
commit 16e768e
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/plugins/javac/JavacExtension.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/plugins/javac/JavacExtension.java
@@ -123,8 +123,12 @@ public JavacExtension() {
 
     private void loadProof(Proof selectedProof) throws RuntimeException {
         try {
-            JavacData data = selectedProof.getUserData().get(JavacData.class);
-            updateLabel(data);
+            if (selectedProof != null) {
+                JavacData data = selectedProof.getUserData().get(JavacData.class);
+                updateLabel(data);
+            } else {
+                updateLabel(null);
+            }
         } catch (IllegalStateException e) {
             JavacData data = new JavacData();
             selectedProof.getUserData().register(data);
@@ -165,8 +169,13 @@ private void loadProof(Proof selectedProof) throws RuntimeException {
      * @param data data to use
      */
     private void updateLabel(JavacData data) {
-        if (data == null)
+        if (data == null) {
+            lblStatus.setText("Javac");
+            lblStatus.setIcon(null);
+            lblStatus.setForeground(Color.BLACK);
+            lblStatus.setEnabled(false);
             return;
+        }
         if (data.nonJavaProof) {
             lblStatus.setText("No Java");
             lblStatus.setIcon(null);