public void writeFile(File file) {
	try {
	    writeLine(file.toString());
	    if (file.isDirectory()) {
		File list[] = file.listFiles();
		if (list != null) {
		    for (int i = 0; i < list.length; ++i) {
			writeFile(list[i]);
		    }
		}
	    }
	} catch (IOException e) {
	    // NYI: Show message.
	    e.printStackTrace();
	}
    }