Convert a File to a URL. File.toURL() does not encode characters like #. File.toURI() has been introduced in java 1.4, so Ant cannot use it (except by reflection) <!-- TODO no longer true --> File.toURI() cannot be used by Locator.java Implemented this way. File.toURL() adds file: and changes '\' to
(File file)
source not stored for this graph (policy: none)