public static void set_channel(int serial, int new_channel) {
channels.put(serial, new_channel);
synchronized (preferences) {
public static void set_channel(int serial, int new_channel) {
channels.put(serial, new_channel);
synchronized (preferences) {