code: public static String removeLeadingSeparator(String path) {
  
          int l = path.length();
          if (l == 0) {
              return "";
          } else if (path.charAt(0) != '/') {
              return path;
          } else if (l == 1) {
              return "";
          } else {
              return path.substring(1, l);
          }
      }
docs: Removes a leading separator from a path if required.<p>
  
  @param path the path to remove the leading separator from
  @return the path without a trailing separator