489                 case  0: sprops.os_name = "Windows 95";           break;  in GetJavaProperties()
490                 case 10: sprops.os_name = "Windows 98";           break;  in GetJavaProperties()
491                 case 90: sprops.os_name = "Windows Me";           break;  in GetJavaProperties()
492                 default: sprops.os_name = "Windows 9X (unknown)"; break;  in GetJavaProperties()
495                 sprops.os_name = "Windows 9X (unknown)";  in GetJavaProperties()
500                 sprops.os_name = "Windows NT";  in GetJavaProperties()
503                 case  0: sprops.os_name = "Windows 2000";         break;  in GetJavaProperties()
504                 case  1: sprops.os_name = "Windows XP";           break;  in GetJavaProperties()
518                         sprops.os_name = "Windows XP"; /* 64 bit */  in GetJavaProperties()
520                         sprops.os_name = "Windows 2003";  in GetJavaProperties()
523                 default: sprops.os_name = "Windows NT (unknown)"; break;  in GetJavaProperties()
531                     case  0: sprops.os_name = "Windows Vista";        break;  in GetJavaProperties()
532                     case  1: sprops.os_name = "Windows 7";            break;  in GetJavaProperties()
533                     case  2: sprops.os_name = "Windows 8";            break;  in GetJavaProperties()
534                     case  3: sprops.os_name = "Windows 8.1";          break;  in GetJavaProperties()
535                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
539                     case  0: sprops.os_name = "Windows Server 2008";    break;  in GetJavaProperties()
540                     case  1: sprops.os_name = "Windows Server 2008 R2"; break;  in GetJavaProperties()
541                     case  2: sprops.os_name = "Windows Server 2012";    break;  in GetJavaProperties()
542                     case  3: sprops.os_name = "Windows Server 2012 R2"; break;  in GetJavaProperties()
543                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
549                     case  0: sprops.os_name = "Windows 10";           break;  in GetJavaProperties()
550                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
557                             sprops.os_name = "Windows Server 2019";  in GetJavaProperties()
559                             sprops.os_name = "Windows Server 2016";  in GetJavaProperties()
562                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
566                 sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
570             sprops.os_name = "Windows (unknown)";  in GetJavaProperties()