* expensive.
*/
@SuppressWarnings("unused")
private static void extractAllStatisticsFilesIn(File path, HashSet<String> changingParams) {
ParCollection params = GlobalVariables.getPrematureParameters();
params.complete();
params.setLoggingLevel(-1);
String endungGZ = "gz";
String endung = "xml";
String[] gespGrGZ = path.list(new FileNamePostfixFilter(endungGZ));
String[] gespGr;