public void logUnknownDN(String username, X500Principal principal) {
		try {
			getDNLog().println(username + "; " + principal);
		}
		catch (IOException e) {
			// ignore
		}
	}
Log a new or unknown X500 principal to facilitate future addition to
user file.
@param username user name/SID which corresponds to unknown principal
@param principal X500 principal data which contains user's distinguished name
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/UserManager.java