package altosui;
-import java.text.*;
import java.util.prefs.*;
import org.altusmetrum.AltosLib.*;
}
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);
}
public String[] keys() {
- return _preferences.keys();
+ try {
+ return _preferences.keys();
+ } catch (BackingStoreException be) {
+ return null;
+ }
}
public void remove(String key) {
}
}
-}
\ No newline at end of file
+}