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("Linux")) platform_class = "Linux";
else if (os_name.startsWith("SunOS")) platform_class = "Solaris";
else if (os_name.startsWith("Solaris")) platform_class = "Solaris";