如何让IE10运行64位的JRE

IE10以后，微软对IE浏览器这款软件进行了构架上的调整，这一调整的目的是希望浏览器可以对64位及32位的插件同时兼容。这一特性默认的属性是在32位环境下打开的新标签，这以行为的后果就是，无论在ie这jre环境中如何设置，ie使用的jre环境始终是32位的。

请参考

http://blog.csdn.net/kerr1992/article/details/8769646。

这一问题，其实还是可以解决：

https://support.microsoft.com/en-us/kb/2716529

提到，通过修改HKEY_CURRENT_USER\Software\Microsoft\Internet Explorer\Main\TabProcGrowth的键值，把其设置为0可以强迫IE管理器在管理其自身的环境中打开新的标签，这样新的标签就使用了64位的环境，也就自然地使用了64位的jre了。