+ public static void save_common_frequencies() {
+ try {
+ AltosHashSet[] sets = new AltosHashSet[common_frequencies.length];
+ for (int i = 0; i < sets.length; i++)
+ sets[i] = common_frequencies[i].hashSet();
+ backend.putString(frequenciesPreference, AltosHashSet.toString(sets));
+ } catch (IOException ie) {
+ }
+ flush_preferences();
+ }
+