private static void traverse(File dir) { processDir(dir); if (dir.isDirectory()) { String[] children = dir.list(); for (int i=0; i