486                 case  0: sprops.os_name = "Windows 95";           break;  in GetJavaProperties()
487                 case 10: sprops.os_name = "Windows 98";           break;  in GetJavaProperties()
488                 case 90: sprops.os_name = "Windows Me";           break;  in GetJavaProperties()
489                 default: sprops.os_name = "Windows 9X (unknown)"; break;  in GetJavaProperties()
492                 sprops.os_name = "Windows 9X (unknown)";  in GetJavaProperties()
497                 sprops.os_name = "Windows NT";  in GetJavaProperties()
500                 case  0: sprops.os_name = "Windows 2000";         break;  in GetJavaProperties()
501                 case  1: sprops.os_name = "Windows XP";           break;  in GetJavaProperties()
515                         sprops.os_name = "Windows XP"; /* 64 bit */  in GetJavaProperties()
517                         sprops.os_name = "Windows 2003";  in GetJavaProperties()
520                 default: sprops.os_name = "Windows NT (unknown)"; break;  in GetJavaProperties()
528                     case  0: sprops.os_name = "Windows Vista";        break;  in GetJavaProperties()
529                     case  1: sprops.os_name = "Windows 7";            break;  in GetJavaProperties()
530                     case  2: sprops.os_name = "Windows 8";            break;  in GetJavaProperties()
531                     case  3: sprops.os_name = "Windows 8.1";          break;  in GetJavaProperties()
532                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
536                     case  0: sprops.os_name = "Windows Server 2008";    break;  in GetJavaProperties()
537                     case  1: sprops.os_name = "Windows Server 2008 R2"; break;  in GetJavaProperties()
538                     case  2: sprops.os_name = "Windows Server 2012";    break;  in GetJavaProperties()
539                     case  3: sprops.os_name = "Windows Server 2012 R2"; break;  in GetJavaProperties()
540                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
549                             sprops.os_name = "Windows 11";  in GetJavaProperties()
551                             sprops.os_name = "Windows 10";  in GetJavaProperties()
554                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
562                             sprops.os_name = "Windows Server 2022";  in GetJavaProperties()
564                             sprops.os_name = "Windows Server 2019";  in GetJavaProperties()
566                             sprops.os_name = "Windows Server 2016";  in GetJavaProperties()
569                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
573                 sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
577             sprops.os_name = "Windows (unknown)";  in GetJavaProperties()