package altosui;
-import java.text.*;
import java.util.prefs.*;
import org.altusmetrum.AltosLib.*;
}
public String[] keys() {
- return _preferences.keys();
+ try {
+ return _preferences.keys();
+ } catch (BackingStoreException be) {
+ return null;
+ }
}
public void remove(String key) {