org.gjt.sp.jedit.browser.VFSBrowser.delete(VFSFile[])
org.gjt.sp.jedit.io.FileVFS.recursiveDelete(File)
org.gjt.sp.jedit.io.FileVFS._delete(Object,String,Component)