See thread "javac and mutable state" in javac-dev. This is a proposal
for 'managing' mutation inside the AST - rather than, more inflexibly,
turn everything to be immutable (which is hard to achieve in the
presence of cyclic initialization and so forth). If we decide to go down
this path, we should probably come up with a list of things whose
mutability we'd like to have more control over.