Bugfix in SaveCommandhandling

rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/InterpreterBuilder.java

@@ -225,7 +225,8 @@ public class InterpreterBuilder {
 
     public InterpreterBuilder setProblemPath(File path){
         Map<String, CommandHandler<KeyData>> builtinsnew = this.bich.getBuiltins();
-        builtinsnew.put("save", new SaveCommand(path));
+        SaveCommand sc = new SaveCommand(path);
+        builtinsnew.put(SaveCommand.SAVE_COMMAND_NAME, sc);
         this.bich.setBuiltins(builtinsnew);
         return this;
 

rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/funchdl/BuiltInCommandHandler.java

@@ -18,12 +18,10 @@ public class BuiltInCommandHandler implements CommandHandler<KeyData> {
     @Getter @Setter
     private Map<String, CommandHandler<KeyData>> builtins;
 
-    @Getter @Setter
-    private SaveCommand sc;
 
     public BuiltInCommandHandler() {
         builtins = new HashMap<>();
-        builtins.put("save", sc);
+
     }
 
 

rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/funchdl/SaveCommand.java

@@ -15,7 +15,7 @@ import java.io.File;
 import java.io.IOException;
 
 public class SaveCommand implements CommandHandler<KeyData> {
-    private static final String SAVE_COMMAND_NAME = "#save";
+    public static final String SAVE_COMMAND_NAME = "#save";
     private static Logger logger = LogManager.getLogger(SaveCommand.class);
     private static Logger consoleLogger = LogManager.getLogger("console");