fix

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/proof/init/InitConfig.java

@@ -120,19 +120,26 @@ public void computeDefaults(ChoiceInformation ci) {
         }
 
         if (currentDefaultChoices.isEmpty()) { // no choices have been read.
-            currentDefaultChoices = new  TreeMap<>();
+            currentDefaultChoices = new TreeMap<>();
             for (var entry : category2DefaultChoice.entrySet()) {
                 currentDefaultChoices.put(entry.getKey(), entry.getValue().name().toString());
             }
             ProofSettings.DEFAULT_SETTINGS.getChoiceSettings()
                     .setDefaultChoices(currentDefaultChoices);
         }
 
-        // activate by \settings {}  in file KeYUserProblemFile
-        if(settings != null) {
+        // activate by \settings {} in file KeYUserProblemFile
+        if (settings != null) {
             for (var choice : settings.getChoiceSettings().getDefaultChoicesAsSet()) {
                 activatedChoices.put(choice.category(), choice);
             }
+
+
+            Map<String, String> defaults = new TreeMap<>();
+            for (var ac : getActivatedChoices()) {
+                defaults.put(ac.category(), ac.name().toString());
+            }
+            settings.getChoiceSettings().setDefaultChoices(defaults);
         }
     }
 
@@ -399,13 +406,6 @@ public void setSettings(ProofSettings newSettings) {
 
 
     public ProofSettings getSettings() {
-        if (settings == null)
-            return null;
-        Map<String, String> defaults = new TreeMap<>();
-        for (var ac : getActivatedChoices()) {
-            defaults.put(ac.category(), ac.name().toString());
-        }
-        settings.getChoiceSettings().setDefaultChoices(defaults);
         return settings;
     }
 

key.core/src/main/java/de/uka/ilkd/key/proof/init/ProblemInitializer.java

@@ -35,7 +35,6 @@
 import de.uka.ilkd.key.rule.Rule;
 import de.uka.ilkd.key.rule.Taclet;
 import de.uka.ilkd.key.settings.Configuration;
-import de.uka.ilkd.key.settings.Configuration;
 import de.uka.ilkd.key.settings.ProofIndependentSettings;
 import de.uka.ilkd.key.settings.ProofSettings;
 import de.uka.ilkd.key.speclang.PositionedString;
@@ -467,7 +466,6 @@ private InitConfig createInitConfigFor(EnvInput envInput) throws ProofInputExcep
         // cache the last used init config
         BaseConfigCache.setBaseInputConfig(config, inputDigest);
         config = config.copy();
-        profile.prepareInitConfig(config);
         return config;
     }
 
@@ -490,7 +488,8 @@ public InitConfig prepare(EnvInput envInput) throws ProofInputException {
         }
 
         // applied after envInput/KeYUserProblemFile was read, and its setting are active.
-        var warnings = profile.prepareInitConfig(ic, additionalProfileOptions);
+        var warnings = ic.getProfile()
+                .prepareInitConfig(ic, additionalProfileOptions);
         addWarnings(warnings);
 
         return ic;

key.core/src/main/java/de/uka/ilkd/key/settings/ChoiceSettings.java

@@ -36,7 +36,6 @@ public class ChoiceSettings extends AbstractSettings {
 
 
     public ChoiceSettings() {
-        category2Default = new LinkedHashMap<>();
     }