private void updateRootCategoryName(ResourceFile newFile, Category root) {
		String newName = getRootName(newFile.getName());

		if (root.getName().equals(newName)) {
			return;
		}

		try {
			root.setName(newName);
		}
		catch (InvalidNameException | DuplicateNameException e) {
			// do nothing
		}
	}
Convert the filename for the given file to have the packed database
file extension.
@param file file whose name is to be converted
@return file if the filename already ends in the packed database
file extension, or a new File object that has the packed database
file extension
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/data/FileDataTypeManager.java