code: @Pure
  	public static File convertStringToFile(String filename) {
  		if (filename == null || "".equals(filename)) { //$NON-NLS-1$
  			return null;
  		}
  		if (isWindowsNativeFilename(filename)) {
  			return normalizeWindowsNativeFilename(filename);
  		}
  		// Test for malformed filenames.
  		return new File(extractLocalPath(filename).replaceAll(
  				Pattern.quote(UNIX_SEPARATOR_STRING),
  				Matcher.quoteReplacement(File.separator)));
  	}
docs: Convert a string which represents a local file into a File.
  
  <p>This function supports the naming standards coming for the different
  operating systems.
  
  @param filename the filename.
  @return the file, or <code>null</code> if the given filename is <code>null</code> or empty.
  @since 13.0