code: @Pure
  	public static URL convertFileToURL(File file) {
  		if (file == null) {
  			return null;
  		}
  		try {
  			File thefile = file;
  			if (isWindowsNativeFilename(file.toString())) {
  				thefile = normalizeWindowsNativeFilename(file.toString());
  				if (thefile == null) {
  					thefile = file;
  				}
  			}
  			final URL url;
  			if (thefile.isAbsolute()) {
  				url = thefile.toURI().toURL();
  			} else {
  				url = new URL(URISchemeType.FILE.name(), "", thefile.toString()); //$NON-NLS-1$
  			}
  			return toShortestURL(url);
  		} catch (MalformedURLException e) {
  			return null;
  		}
  	}
docs: Replies an URL for the given file and translate it into a
  resource URL if the given file is inside the classpath.
  
  @param file is the filename to translate.
  @return the URL which is corresponding to file, or <code>null</code> if
  the url cannot be computed.