[#174] Use the Eclipse platform tools for converting an URL to an URI.