Constructs a file path from a file: URI. Will be an absolute path if the given URI is absolute. Prior to Java 1.4,<!-- TODO is JDK version actually relevant? --> swallows '%' that are not followed by two characters. See dt
(String uri)
source not stored for this graph (policy: none)