code: public String getURL()
    {
      if (! isWindows())
        return escapeURL("file:" + getFullPath());
  
      String path = getFullPath();
      int length = path.length();
      CharBuffer cb = new CharBuffer();
  
      // #2725, server/1495
      cb.append("file:");
  
      char ch;
      int offset = 0;
      // For windows, convert /c: to c:
      if (length >= 3
          && path.charAt(0) == '/'
          && path.charAt(2) == ':'
          && ('a' <= (ch = path.charAt(1)) && ch <= 'z'
              || 'A' <= ch && ch <= 'Z')) {
        // offset = 1;
      }
      else if (length >= 3
               && path.charAt(0) == '/'
               && path.charAt(1) == ':'
               && path.charAt(2) == '/') {
        cb.append('/');
        cb.append('/');
        cb.append('/');
        cb.append('/');
        offset = 3;
      }
  
      for (; offset < length; offset++) {
        ch = path.charAt(offset);
  
        if (ch == '\\')
          cb.append('/');
        else
          cb.append(ch);
      }
  
      return escapeURL(cb.toString());
  
    }
docs: Returns the full url for the given path.