- public AltosHashSet getHashSet(String key) {
- String value = getString(key, null);
-
- if (value == null)
- return null;
- return AltosHashSet.fromString(value);
- }
-
- public void putHashSet(String key, AltosHashSet h) {
- putString(key, h.toString());
- }
-