if (os_name.startsWith("Window")) platform_class = "Win32";
else platform_class = "X11";
} else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
if (os_name.startsWith("Window")) platform_class = "Win32";
else platform_class = "X11";
} else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";