protected static String doAnnihilate(String path) {
    int len = path.length();
    do {
      path = ANNIHILATOR.matcher(path).replaceAll("/");
    }
    while (len > (len = path.length()));
    return path;
  }
protected static String doAnnihilate(String path)