}
private void writeThrowsTags(ThrowsTag[] throwsTags) throws IOException {
if(throwsTags==null || throwsTags.length==0) return; // nothing to do
write("<throws>");
for(int i=0; i < throwsTags.length; i++) {
ThrowsTag t = throwsTags[i];
String name=t.exceptionName();
String comment=t.exceptionComment();
write("<throw name=\""+name+"\">");
writeHTMLFormattedText(comment);
write("</throw>");
}
write("</throws>");