doDir - handle one filesystem object by name
File f = new File(s);
if (!f.exists()) {
System.out.println(s + " does not exist");
return;
}
if (f.isFile())
doFile(f);
else if (f.isDirectory()) {
System.out.println("d " + f.getPath());
String objects[] = f.list();
for (int i=0; i<objects.length; i++)
doDir(s + f.separator + objects[i]);
} else
System.err.println("Unknown: " + s);