jEdit's file system browser.