74757677787980
String url = getMirrorUrl(mirrorURI, null); if (url != null) { return url; } throw new NoMirrorsAvailableException("No mirrors available for " + mirrorURI + ", checked " + MirrorUtils.mirrors.size() + " mirrors"); }