File registryFile = new File(commandLine.getOptionValue(OPTION_XML_REGISTRY.getOpt()));
if (!registryFile.isFile()) {
System.err.println("ERROR: specified XML registry file not found: " + registryFile);
System.exit(EXIT_CODE_XML_REGISTRY_NOT_FOUND);
}
registry = new XmlDocumentFormatRegistry(new FileInputStream(registryFile));
if (verbose) {
System.out.println("-- loaded document format registry from " + registryFile);
}
} else {
registry = new DefaultDocumentFormatRegistry();