System.setProperty("http.agent", PROGRAM_TITLE);
// Start the update
try {
Configuration config = new PropertiesConfiguration(configFileName);
MirrorUpdater updater = new MirrorUpdater(config);
updater.updateMirror();
}
catch (UpdateException exc) {
exc.printStackTrace();