The changes for

6447411: Should use PrivilegedAction template in java doc

generified examples in the AccessController spec, but some
of those generifications do not show up, because of missing @code{...}
There are a number of other minor spec improvements possible.