docs: 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;
  	}