@Override
	public void moveTo(File newParent, String newStorageName, String newParentPath, String newName)
			throws DuplicateFileException, IOException {

		super.moveTo(newParent, newStorageName, newParentPath, newName);
//		if (!parentPath.equals(newParentPath)) {
//			throw new AssertException();
//		}
//		if (!name.equals(newName)) {
//			throw new AssertException();
//		}
		putString(NAME_PROPERTY, newName);
		putString(PARENT_PATH_PROPERTY, newParentPath);
		writeState();
	}
Construct an existing PropertyFile.
@param file
@throws FileNotFoundException if property file does not exist
@throws IOException if error occurs reading property file
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/IndexedPropertyFile.java