String prodname =
(String)winreg.queryValue(hkey, "ProductName");
if (prodname.indexOf("Server") != -1)
isServer = true;
} finally {
winreg.closeKey(hkey);
}
// Replace the post2008Server with the correct value.
release = isServer ? "2008ServerR2" : "7";
}