I have renumbered JLS 9.7 in the spec to JLS 9.7.5, in anticipation of changes for type annotations (JSR 308). In a similar vein, JLS 9.6.3.1 (@Target) no longer appears here, but will appear in the JSR 308 spec. The spec is at http://cr.openjdk.java.net/~abuckley/8misc.pdf as always. Alex