String specificConfig = options.getProperty("d");
String engine = options.getProperty("e");
if (options.getProperty("h") != null || mappingName == null) {
PrintWriter pw = new PrintWriter(System.out, true);
allOptions.printHelp(pw);
pw.flush();
System.exit(0);
}
// Verify and adjust output file.