String os_version = System.getProperty("os.version", "");
String platform_class = null;
- if (os_name.startsWith("Darwin")) platform_class = "Carbon";
+ if (os_name.startsWith("Darwin")) platform_class = "Darwin";
else if (vendor.startsWith("Free Software Foundation")) {
if (os_name.startsWith("Window")) platform_class = "Win32";
else platform_class = "X11";