diff --git a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
index f7166b138e8eb16e95a984ad0889aff23f08ea31..c2daeeb5369ff5279ae7b73984a7887c572738f0 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
@@ -6,6 +6,8 @@
 
 package de.prob.ui.eventb;
 
+import de.prob.logging.Logger;
+
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.core.runtime.preferences.InstanceScope;
 import org.eclipse.jface.preference.PreferencePage;
@@ -114,7 +116,7 @@ public class ClassicPreferences extends PreferencePage implements
 		try {
 			prefNode.flush();
 		} catch (BackingStoreException e) {
-			e.printStackTrace();
+			Logger.notifyUser("Failed to save ProB Standalone preferences", e);
 		}
 		return super.performOk();
 	}