System.exit(0);
}
if (logLevel==0) logLevel=SOSLogger.INFO;
if (logFile.length()>0) sosLogger = new SOSStandardLogger(logFile, logLevel);
else sosLogger = new SOSStandardLogger(logLevel);
arguments.check_all_used();
ManagedConverter conv = new ManagedConverter(sosLogger);
target = new File(targetFile);
if (sourceFile.length()>0) source = new File(sourceFile);
conv.convert(source, target, folderName);