if (file.isDirectory()) {
tree.addStartElement(c_directory);
} else if (file.isFile()) {
tree.addStartElement(c_file);
} else {
tree.addStartElement(c_other);
}
tree.addAttribute(_href, uri.toASCIIString());
if (file.canRead()) { tree.addAttribute(_readable, "true"); }