else if (os_name.startsWith("Linux")) platform_class = "Linux";
else if (os_name.startsWith("SunOS")) platform_class = "Solaris";
else if (os_name.startsWith("Solaris")) platform_class = "Solaris";
+ else if (os_name.startsWith("Darwin")) platform_class = "Darwin";
else platform_class = "X11";
}
else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";