Enforce profile when selected via file chooser (#3921)

Author: unp1

key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java

@@ -108,7 +108,7 @@ public abstract class AbstractProblemLoader {
      * {@code false} the {@link Profile} specified by the problem file will be used for new proofs
      * (with the default profile as fallback if the file specifies none).
      */
-    private final boolean forceNewProfileOfNewProofs;
+    private boolean forceNewProfileOfNewProofs;
 
     /**
      * {@code true} to call {@link ProblemLoaderControl#selectProofObligation(InitConfig)} if no
@@ -836,6 +836,10 @@ public void setProofPath(Path proofFilename) {
         this.proofFilename = proofFilename;
     }
 
+    public void forceNewProfileOfNewProofs(boolean forceNewProfileOfNewProofs) {
+        this.forceNewProfileOfNewProofs = forceNewProfileOfNewProofs;
+    }
+
     public boolean isLoadSingleJavaFile() {
         return loadSingleJavaFile;
     }
@@ -859,6 +863,7 @@ public Configuration getAdditionalProfileOptions() {
     }
 
 
+
     public static class ReplayResult {
 
         private final Node node;

key.ui/src/main/java/de/uka/ilkd/key/gui/actions/OpenFileAction.java

@@ -67,6 +67,7 @@ public void actionPerformed(ActionEvent e) {
             var selectedProfile = options.getSelectedProfile();
             var additionalProfileOptions = options.getAdditionalProfileOptions();
             mainWindow.loadProblem(file, pl -> {
+                pl.forceNewProfileOfNewProofs(selectedProfile != null);
                 pl.setProfileOfNewProofs(selectedProfile);
                 pl.setAdditionalProfileOptions(additionalProfileOptions);
                 pl.setLoadSingleJavaFile(options.isOnlyLoadSingleJavaFile());