jjg@1465: RepeatedAttr.java:13: error: repeated attribute: alt
jjg@1455:  * <img src="image.gif" alt alt="summary">
jjg@1455:                             ^
jjg@1455: 1 error