485                 case  0: sprops.os_name = "Windows 95";           break;  in GetJavaProperties()
486                 case 10: sprops.os_name = "Windows 98";           break;  in GetJavaProperties()
487                 case 90: sprops.os_name = "Windows Me";           break;  in GetJavaProperties()
488                 default: sprops.os_name = "Windows 9X (unknown)"; break;  in GetJavaProperties()
491                 sprops.os_name = "Windows 9X (unknown)";  in GetJavaProperties()
496                 sprops.os_name = "Windows NT";  in GetJavaProperties()
499                 case  0: sprops.os_name = "Windows 2000";         break;  in GetJavaProperties()
500                 case  1: sprops.os_name = "Windows XP";           break;  in GetJavaProperties()
514                         sprops.os_name = "Windows XP"; /* 64 bit */  in GetJavaProperties()
516                         sprops.os_name = "Windows 2003";  in GetJavaProperties()
519                 default: sprops.os_name = "Windows NT (unknown)"; break;  in GetJavaProperties()
527                     case  0: sprops.os_name = "Windows Vista";        break;  in GetJavaProperties()
528                     case  1: sprops.os_name = "Windows 7";            break;  in GetJavaProperties()
529                     case  2: sprops.os_name = "Windows 8";            break;  in GetJavaProperties()
530                     case  3: sprops.os_name = "Windows 8.1";          break;  in GetJavaProperties()
531                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
535                     case  0: sprops.os_name = "Windows Server 2008";    break;  in GetJavaProperties()
536                     case  1: sprops.os_name = "Windows Server 2008 R2"; break;  in GetJavaProperties()
537                     case  2: sprops.os_name = "Windows Server 2012";    break;  in GetJavaProperties()
538                     case  3: sprops.os_name = "Windows Server 2012 R2"; break;  in GetJavaProperties()
539                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
548                             sprops.os_name = "Windows 11";  in GetJavaProperties()
550                             sprops.os_name = "Windows 10";  in GetJavaProperties()
553                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
561                             sprops.os_name = "Windows Server 2022";  in GetJavaProperties()
563                             sprops.os_name = "Windows Server 2019";  in GetJavaProperties()
565                             sprops.os_name = "Windows Server 2016";  in GetJavaProperties()
568                     default: sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
572                 sprops.os_name = "Windows NT (unknown)";  in GetJavaProperties()
576             sprops.os_name = "Windows (unknown)";  in GetJavaProperties()