https://eathealthy365.com/a-developer-s-guide-to-comparing-java-map-keys/