code: private static String fromFileStandardToURLStandard(String file) {
  		if (file == null) {
  			return null;
  		}
  		if (isFileCompatibleWithURL == null) {
  			isFileCompatibleWithURL = Boolean.valueOf(
  					URL_PATH_SEPARATOR.equals(File.separator));
  		}
  		String filePath = file;
  		if (!isFileCompatibleWithURL) {
  			filePath = filePath.replaceAll(
  					Pattern.quote(File.separator),
  					Matcher.quoteReplacement(URL_PATH_SEPARATOR));
  		}
  		// Add root slash for Windows paths that are starting with a disk id.
  		if (Pattern.matches("^[a-zA-Z][:|].*$", filePath)) { //$NON-NLS-1$
  			filePath = URL_PATH_SEPARATOR + filePath;
  		}
  		return filePath;
  	}
docs: Decode the given file to obtain a string representation
  which is compatible with the URL standard.
  This function was introduced to have a work around
  on the '\' character on Windows operating system.
  
  @param file the file.
  @return the string representation of the file.
  @since 6.2