Static filter is applied to file and directory name

[dominikmaeckel]

The static filter is applied to the file name as well as to the directory name making it impossible to filter for file name only (e.g. "seed1"):

stars-carla-experiments/src/main/kotlin/tools/aqua/stars/carla/experiments/ExperimentConfiguration.kt

Lines 166 to 168 in 3037d76

	.filter {
	it.isDirectory && it != file && staticFilter.toRegex().containsMatchIn(it.name)
	}

stars-carla-experiments/src/main/kotlin/tools/aqua/stars/carla/experiments/ExperimentConfiguration.kt

Lines 174 to 177 in 3037d76

	if (mapFile.nameWithoutExtension.contains("static_data") &&
	staticFilter.toRegex().containsMatchIn(mapFile.name)) {
	staticFile = mapFile.toPath()
	}