/** Stops listening for server broadcasts */
 public static void stopListening() {
   if (broadcastReceiverThread != null) {
     broadcastReceiverThread.kill();
     serverListUpdaterThread.kill();
     servers.clear();
   }
 }
 /** Starts listening for server broadcasts and building a list of available servers. */
 public static void startListening() {
   try {
     broadcastReceiverThread = new BroadcastReceiverThread();
     broadcastReceiverThread.start();
   } catch (IOException ioe) {
     ioe.printStackTrace();
   }
   serverListUpdaterThread = new ServerListUpdaterThread();
   serverListUpdaterThread.start();
 }