"did not work" as in, after adding more fonts, Java gives me the same list of aliases. I just called GraphicsEnvironment.getAvailableFontFamilyNames()
But after modifying the monospaced alias in the properties file, it appears to use the new one. So I'm happy. I can just edit the file to use whatever font I want.