final String verz,
final ParCollection params) {
File pfad = new File(verz);
String endungGZ = "gz";
String endung = "xml";
String[] gespGrGZ = pfad.list(new FileNamePostfixFilter(endungGZ));
String[] gespGr;
if (gespGrGZ == null) {
StaticMethods.log(
StaticMethods.LOG_ERROR,
"Ungueltiges Verzeichnis: " + verz,
params);
throw new RuntimeException("Ungültiges Verzeichnis.\n" + verz);
}
// Entpacke Dateien.
// TODO: Dieser Teil muss eigentlich nur dann passieren,
// wenn die Textdateien noch nicht existieren.
for (String s : gespGrGZ) {
StaticMethods.logInfo("Entpacken " + s + ".", params);
StaticMethods.entpackeDatei(
verz + File.separator + s,
verz + File.separator + StaticMethods.datNamOhneHintErw(s),
true);
}
gespGr = pfad.list(new FileNamePostfixFilter(endung));
XMLAufnLesen aufn;
String sGes;
String zusGes;