@Override
	public boolean equals(Object obj) {
		if (this == obj) {
			return true;
		}
		if (obj == null) {
			return false;
		}
		if (getClass() != obj.getClass()) {
			return false;
		}
		PropertyFile other = (PropertyFile) obj;
		if (propertyFile == null) {
			if (other.propertyFile != null) {
				return false;
			}
		}
		else if (!propertyFile.equals(other.propertyFile)) {
			return false;
		}
		return true;
	}
Delete the file for this PropertyFile.
Ghidra/Framework/FileSystem/src/main/java/ghidra/util/PropertyFile.java