@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + ((propertyFile == null) ? 0 : propertyFile.hashCode());
		return result;
	}
Delete the file for this PropertyFile.
Ghidra/Framework/FileSystem/src/main/java/ghidra/util/PropertyFile.java