diff --git a/src/main/java/edu/kit/formal/gui/controls/ScriptController.java b/src/main/java/edu/kit/formal/gui/controls/ScriptController.java
index 71e0bf2705ddda6850e7fa91d70f20794cd52d3a..b5931533b0bd70457287fe132d64fcabf7608762 100644
--- a/src/main/java/edu/kit/formal/gui/controls/ScriptController.java
+++ b/src/main/java/edu/kit/formal/gui/controls/ScriptController.java
@@ -18,12 +18,12 @@ import javafx.collections.ObservableMap;
 import org.antlr.v4.runtime.CharStream;
 import org.antlr.v4.runtime.CharStreams;
 import org.apache.commons.io.FileUtils;
+import org.apache.commons.lang.NotImplementedException;
 import org.apache.logging.log4j.LogManager;
 import org.apache.logging.log4j.Logger;
 import org.dockfx.DockNode;
 import org.dockfx.DockPane;
 import org.dockfx.DockPos;
-import sun.reflect.generics.reflectiveObjects.NotImplementedException;
 
 import java.io.File;
 import java.io.IOException;
@@ -99,7 +99,7 @@ public class ScriptController {
 
     private DockNode createDockNode(ScriptArea area) {
         DockNode dockNode = new DockNode(area, area.getFilePath().getName(), new MaterialDesignIconView(MaterialDesignIcon.FILE_DOCUMENT));
-        dockNode.closableProperty().addListener(o -> {
+        dockNode.closedProperty().addListener(o -> {
             openScripts.remove(area);
         });
         area.filePathProperty().addListener((observable, oldValue, newValue) -> dockNode.setTitle(newValue.getName()));
diff --git a/src/main/java/edu/kit/formal/proofscriptparser/ast/CaseStatement.java b/src/main/java/edu/kit/formal/proofscriptparser/ast/CaseStatement.java
index 9d2217e3050bede5a300a8799014a08d346fd244..8e769a1b9690c417e41ead50471b09ad958cf90f 100644
--- a/src/main/java/edu/kit/formal/proofscriptparser/ast/CaseStatement.java
+++ b/src/main/java/edu/kit/formal/proofscriptparser/ast/CaseStatement.java
@@ -52,6 +52,6 @@ public class CaseStatement extends Statement<ScriptLanguageParser.CasesListConte
      * {@inheritDoc}
      */
     @Override public CaseStatement copy() {
-        return new CaseStatement(body.copy(), isClosedStmt);
+        return new CaseStatement(isClosedStmt, body.copy());
     }
 }