private static String getX11FontName(String platName) { String xlfd = platName.replaceAll("%d", "*"); if (NativeFont.fontExists(xlfd)) { return xlfd; } else { return null; } }