InvalidName.java:17: error: invalid name for anchor: "foo()"
 * <a name="foo()">invalid</a>
      ^
1 error