+
+ private AltosFrequency(AltosHashSet h) {
+ frequency = h.getDouble("frequency", 0.0);
+ description = h.getString("description", "");
+ }
+
+ public static AltosFrequency fromHashSet(AltosHashSet h, AltosFrequency def) {
+ if (h == null)
+ return def;
+ return new AltosFrequency(h);
+ }
+}