in src/main/java/org/apache/tomcat/jakartaee/Migration.java [263:279]
private void migrateDirectory(File src, File dest) throws IOException {
// Won't return null because src is known to be a directory
String[] files = src.list();
for (String file : files) {
File srcFile = new File(src, file);
File destFile = new File(dest, profile.convert(file));
if (srcFile.isDirectory()) {
if ((destFile.exists() && destFile.isDirectory()) || destFile.mkdir()) {
migrateDirectory(srcFile, destFile);
} else {
throw new IOException(sm.getString("migration.mkdirError", destFile.getAbsolutePath()));
}
} else {
migrateFile(srcFile, destFile);
}
}
}