void delete(String currentUser) throws IOException, UserAccessException {
		synchronized (fileSystem) {
			validate();
			validateAdminPrivilege(currentUser);

			// TODO Delete repository contents
			throw new IOException("Delete repository not yet implemented");
		}
	}
Delete this repository and its contents.
<P>
NOTE: This method is not yet implemented.  Server admin should stop server
and simply delete those repository directories which are unwanted.
@param currentUser current user
@throws IOException if an IO error occurs
@throws UserAccessException if currentUser does not have Admin priviledge
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/Repository.java