docs: private String removeLeadingSlashes(String src) {
          String result = null;
          int i = 0;
          boolean done = false;
  
          if (src == null)
              return null;
  
          int len = src.length();
          while ((!done) && (i < len)) {
              if ((src.charAt(i) == '/') || (src.charAt(i) == ' ')) {
                  i++;
              } else {
                  done = true;
              }
          }
  
          // If all slashes were stripped off and there was no remainder, then
          // return null.
          if (done) {
              result = src.substring(i);
          }
  
          return result;
      }