[解決済み] Java: int 型配列が 0 ではない要素で初期化される。

質問

JLSによると int 配列は初期化直後にゼロで埋められるはずです。しかし、そうでない状況に直面しています。このような動作は、JDK 7u4で最初に発生し、それ以降のすべてのアップデートでも発生します（私は64ビット実装を使用しています）。次のコードは例外を投げます。

public static void main(String[] args) {
        int[] a;
        int n = 0;
        for (int i = 0; i < 100000000; ++i) {
            a = new int[10];
            for (int f : a)
                if (f != 0)
                  throw new RuntimeException("Array just after allocation: "+ Arrays.toString(a));
            Arrays.fill(a, 0);
            for (int j = 0; j < a.length; ++j)
                a[j] = (n - j)*i;
            for (int f : a)
                n += f;
        }
        System.out.println(n);
    }

この例外は、JVMがコードブロックのコンパイルを実行した後に発生します。 -Xint フラグでは発生しません。さらに Arrays.fill(...) 文は（このコード内の他のすべての文と同様に）必要であり、それがない場合は例外が発生しません。この可能性のあるバグは、何らかのJVMの最適化によって制限されていることは明らかです。このような動作の理由のための任意のアイデア？

更新しました。

Gentoo Linux, Debian Linux (both kernel 3.0 version) および MacOS Lion 上の HotSpot 64-bit server VM, Java version 1.7.0_04 から 1.7.0_10 でこの挙動が確認されました。このエラーは、上記のコードで必ず再現できます。32bitのJDKやWindowsではこの問題をテストしていません。私はすでにOracleにバグレポートを送信しており（バグID 7196857）、数日中に公開Oracleバグデータベースに表示される予定です。

更新しました。