diff --git a/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/CachingSettingsProvider.java b/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/CachingSettingsProvider.java
index f77b3deb6b3..3d8758d9e6c 100644
--- a/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/CachingSettingsProvider.java
+++ b/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/CachingSettingsProvider.java
@@ -80,7 +80,7 @@ public CachingSettingsProvider() {
                 When a referenced proof is pruned, this is what happens to
                  all cached branches that reference it.""",
             0, x -> {
-            }, PRUNE_REOPEN, PRUNE_COPY);
+            }, PRUNE_COPY, PRUNE_REOPEN);
     }
 
     @Override
diff --git a/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/ProofCachingSettings.java b/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/ProofCachingSettings.java
index 30d9e09f68f..0132b68ff26 100644
--- a/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/ProofCachingSettings.java
+++ b/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/settings/ProofCachingSettings.java
@@ -39,12 +39,12 @@ public class ProofCachingSettings extends AbstractPropertiesSettings {
      * Behaviour when disposing a proof that is referenced elsewhere.
      */
     private final AbstractPropertiesSettings.PropertyEntry<String> dispose =
-        createStringProperty(DISPOSE_KEY, "");
+        createStringProperty(DISPOSE_KEY, DISPOSE_COPY);
     /**
      * Behaviour when pruning a proof that is referenced elsewhere.
      */
     private final AbstractPropertiesSettings.PropertyEntry<String> prune =
-        createStringProperty(PRUNE_KEY, "");
+        createStringProperty(PRUNE_KEY, PRUNE_COPY);
 
     public ProofCachingSettings() {
         super("ProofCaching");