Bug 558462 - https://www.eclipse.org/downloads/download.php returns too few mirrors for /releases/2019-12/201912181000 Change-Id: I3f0e86907c8e80be2bcd1f8c57ec38e4be7a65d1 Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>