#71 Verify.addComment annotations not displayed by publisher

[Yann Moffett]

It appears the annotations which can be added to the system state using the Verify.addComment method are not displayed in the error trace. In fact, after a quick look at all the publishers in gov.nasa.jpf.report never call the getAnnotation method.

Applies to current trunk revision of the publishers (rev1532 of ConsolePublisher, HTMLPublisher, and XMLPublisher)