X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altosui%2FAltosUIPreferencesBackend.java;h=210dcb8bb14cdebb536ce18fb29637ade64f038c;hp=2b2769c218ac05aa499136a575482970b210ddad;hb=6e0d672b8a516a604d8ea1abd2bed113c608143f;hpb=67b618409a0d34fff26cac6025bc159ff92ede9c

diff --git a/altosui/AltosUIPreferencesBackend.java b/altosui/AltosUIPreferencesBackend.java
index 2b2769c2..210dcb8b 100644
--- a/altosui/AltosUIPreferencesBackend.java
+++ b/altosui/AltosUIPreferencesBackend.java
@@ -17,7 +17,6 @@
 
 package altosui;
 
-import java.text.*;
 import java.util.prefs.*;
 import org.altusmetrum.AltosLib.*;
 
@@ -34,7 +33,7 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 	}
 
 	public String  getString(String key, String def) {
-		return _preferences.get(key, def)
+		return _preferences.get(key, def);
 	}
 	public void    putString(String key, String value) {
 		_preferences.put(key, value);
@@ -74,7 +73,11 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 	}
 
 	public String[] keys() {
-		return _preferences.keys();
+		try {
+			return _preferences.keys();
+		} catch (BackingStoreException be) {
+			return null;
+		}
 	}
 
 	public void remove(String key) {
@@ -89,4 +92,4 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 		}
 	}
 
-}
\ No newline at end of file
+}