private File getArchiveFile(String dataTypeFile) {
		File f = new File(dataTypeFile);
		if (f.exists()) {
			f.delete();
		}
		String lockFile = dataTypeFile + ".ulock";
		File lf = new File(lockFile);
		if (lf.exists()) {
			lf.delete();
		}
		return f;
	}
Turn string into a file, delete old archive if it exists

@param dataTypeFile name of archive file

@return file
Ghidra/Features/Base/ghidra_scripts/CreateExampleGDTArchiveScript.java