public void delete() throws IOException {
		synchronized (fileSystem) {
			repository.validate();
			if (parent == null) {
				throw new IOException("Root folder may not be deleted");
			}
			fileSystem.deleteFolder(getPathname());
			parent.folderMap.remove(name);
		}
	}
Delete this empty folder.
@throws FolderNotEmptyException Thrown if the folder is not empty.
@throws FileNotFoundException if there is no folder with the given path name.
@throws IOException if error occurred during delete.
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/store/RepositoryFolder.java