let the user decide from which mirror to use instead of choosing it automatically
let the user decide from which mirror to use instead of choosing it automatically

apache/pdfbox-docs,apache/pdfbox-docs