JProperties is a library for using Java Property files, as specified in their documentation: https://docs.oracle.com/javase/8/docs/api/java/util/Properties.html
Credits to this SO page regarding code points: https://stackoverflow.com/questions/1615559/convert-a-unicode-string-to-an-escaped-ascii-string/1615860#1615860