/** * Converts an URL to an InputSource. */ private InputSource getInputSource( URL url ) { return Util.getInputSource(url.toExternalForm()); }
/** * Converts an URL to an InputSource. */ private InputSource getInputSource( URL url ) { return Util.getInputSource(url.toExternalForm()); }
/** * Converts an URL to an InputSource. */ private InputSource getInputSource(URL url) { return Util.getInputSource(url.toExternalForm()); }
/** * Converts an URL to an InputSource. */ private InputSource getInputSource(URL url) { return Util.getInputSource(url.toExternalForm()); }
/** * Converts an URL to an InputSource. */ private InputSource getInputSource(URL url) { return Util.getInputSource(url.toExternalForm()); }