static String getRandomString() {
		int num = RANDOM.nextInt();
		return StringUtilities.pad(Integer.toHexString(num).toUpperCase(), '0', 8);
	}
Get 8-digit random hex value for use in naming temporary files.
@return random string
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/db/PackedDatabase.java