java - Java 1.7.0で環境インデックスを更新すると、statet eclipseプラグインがクラッシュするのはなぜですか？

Question

Eclipseでstatetプラグインを使用してRを実行すると、環境インデックス（ポップアップヘルプに必要）を更新することを選択するとクラッシュしますが、Java1.7.0で実行した場合に限ります。バージョン：R 2.15.2x64、statet 3.1.2、rj1.1。

古いjvm（1.6.0_31）で実行すると、環境インデックスを正常に更新できます。

現在、回避策がありますが、原因を知っておくと便利です。