ジャバ言語のプリミティブ配列ではアラインメント連続であることが言語仕様で保障されているんですか？