On 30/12/2014 14:01, Wang Weijun wrote: > Is Paths.get(url.toURI()) designed for this? > > It's intended for URI -> Path conversions. The URI might come from a URL of course. -Alan