jjg@1465: InvalidName.java:16: error: invalid name for anchor: "foo()"
jjg@1455:  * <a name="foo()">invalid</a>
jjg@1455:       ^
jjg@1455: 1 error