A especificação da linguagem Java define a semântica dos campos finais emseção 17.5:

O modelo de uso para os campos finais é simples. Defina os campos finais para um objeto no construtor desse objeto. Não escreva uma referência ao objeto que está sendo construído em um local onde outro encadeamento possa vê-lo antes da conclusão do construtor do objeto. Se isso for seguido, quando o objeto for visto por outro encadeamento, esse encadeamento sempre verá a versão construída corretamente dos campos finais desse objeto. Ele também verá versões de qualquer objeto ou matriz referenciados pelos campos finais que sejam pelo menos tão atualizados quanto os campos finais.

Minha pergunta é: a garantia 'atualizada' se estende ao conteúdo de matrizes e objetos aninhados?

Em poucas palavras: se um segmento atribui um gráfico de objeto mutável a um campo final em um objeto, e o gráfico de objetos nunca é atualizado, todos os segmentos podem ler com segurança esse gráfico de objetos por meio do campo final?

Um cenário de exemplo:

O segmento A constrói um HashMap de ArrayLists e atribui o HashMap ao campo final 'myFinal' em uma instância da classe 'MyClass'O segmento B vê uma referência (não sincronizada) à instância MyClass e lê 'myFinal', além de acessar e ler o conteúdo de um dos ArrayLists

Nesse cenário, os membros do ArrayList como vistos pelo Thread B são garantidos pelo menos tão atualizados quanto quando o construtor do MyClass foi concluído?

Estou procurando esclarecimentos sobre a semântica do modelo de memória Java e especificações de linguagem, em vez de soluções alternativas como a sincronização. A resposta do meu sonho seria um sim ou não, com uma referência ao texto relevante.

Atualizações:

Estou interessado na semântica do Java 1.5 e superior, ou seja, com o Java Memory Model atualizado introduzido via JSR 133. A garantia 'atualizada' nos campos finais foi introduzida nesta atualização.