Constructs a File for a given URI.
This operation never fails, but the returned object might not support any I/O operation if uri is malformed or if the uri
type is not supported.
| uri |
a UTF-8 string containing a URI |
|
a new File for the given |