public void moveTo(File newParent, String newStorageName, String newParentPath, String newName)
			throws DuplicateFileException, IOException {
		if (!newParent.equals(propertyFile.getParentFile()) || !newStorageName.equals(storageName)) {
			File newPropertyFile = new File(newParent, newStorageName + PROPERTY_EXT);
			if (newPropertyFile.exists()) {
				throw new DuplicateFileException(newName + " already exists");
			}
			if (!propertyFile.renameTo(newPropertyFile)) {
				throw new IOException("move failed");
			}
			propertyFile = newPropertyFile;
			storageName = newStorageName;
		}
		parentPath = newParentPath;
		name = newName;
	}
Move this PropertyFile to the newParent file.
@param newParent new parent of the file
@param newStorageName new storage name
@param newParentPath parent path of the new parent
@param newName new name for this PropertyFile
@throws IOException thrown if there was a problem accessing the
@throws DuplicateFileException thrown if a file with the newName
already exists
Ghidra/Framework/FileSystem/src/main/java/ghidra/util/PropertyFile.java