public static void loadWarps(final File parent) throws IOException {
   try {
     final BufferedReader file =
         new BufferedReader(new FileReader(parent + File.separator + FILENAME));
     String nextLine;
     while ((nextLine = file.readLine()) != null) {
       WARPS.put(nextLine.split("\t")[0], new Warp(nextLine));
     }
     file.close();
   } catch (FileNotFoundException ex) {
   }
 }
 public static void removeWarp(final Warp warp) {
   WARPS.remove(warp.getName());
 }
 public static void addWarp(final Warp warp) {
   WARPS.put(warp.getName(), warp);
 }
 public static Warp matchWarp(final String partial) {
   return WARPS.matchKey(partial);
 }
 public static Warp getWarp(final String name) {
   return WARPS.get(name);
 }
 public static Collection<Warp> getWarps() {
   return WARPS.values();
 }
 public static void saveWarps(final File parent) throws IOException {
   WARPS.save(parent + File.separator + FILENAME);
 }
 public static int numWarps() {
   return WARPS.size();
 }