docs: public static URI toURI(URL url) throws UtilException {
  		if (null == url) {
  			return null;
  		}
  		try {
  			return url.toURI();
  		} catch (URISyntaxException e) {
  			throw new UtilException(e);
  		}
  	}