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