/** Used to load all available download servers in a thread to prevent wait. */
 @Override
 public void run() {
   downloadServers.put("Automatic", "www.creeperrepo.net");
   BufferedReader in = null;
   try {
     in =
         new BufferedReader(
             new InputStreamReader(new URL("http://www.creeperrepo.net/mirrors").openStream()));
     String line;
     while ((line = in.readLine()) != null) {
       String[] splitString = line.split(",");
       if (splitString.length == 2) {
         downloadServers.put(splitString[0], splitString[1]);
       }
     }
     in.close();
   } catch (IOException e) {
     Logger.logError(e.getMessage(), e);
   } finally {
     if (in != null) {
       try {
         in.close();
       } catch (IOException e) {
       }
     }
   }
   serversLoaded = true;
   if (LaunchFrame.getInstance() != null && LaunchFrame.getInstance().optionsPane != null) {
     AdvancedOptionsDialog.setDownloadServers();
   }
 }
  public void updateFilter() {
    String filterTextColor =
        LauncherStyle.getColorAsString(LauncherStyle.getCurrentStyle().filterTextColor);
    String filterInnerTextColor =
        LauncherStyle.getColorAsString(LauncherStyle.getCurrentStyle().filterInnerTextColor);

    String typeLblText = "<html><body>";
    typeLblText += "<strong><font color=rgb\"(" + filterTextColor + ")\">Filter: </strong></font>";
    typeLblText += "<font color=rgb\"(" + filterInnerTextColor + ")\">" + compatible + "</font>";
    typeLblText += "<font color=rgb\"(" + filterTextColor + ")\"> / </font>";
    typeLblText += "<font color=rgb\"(" + filterInnerTextColor + ")\">" + resolution + "</font>";
    typeLblText += "</body></html>";

    typeLbl.setText(typeLblText);
    sortTexturePacks();
    LaunchFrame.getInstance().updateFooter();
  }