Improve junit time format compatibility

[comicfans]

Jenkins junit plugin requires time has at most 3 digits, or it reports

junit.xml:cvc-pattern-valid: Value '5.44999999999999' is not facet-valid with respect to pattern '(([0-9]{0,3},)*[0-9]{3}|[0-9]{0,3})*(\.[0-9]{0,3})?' for type 'SUREFIRE_TIME'.

[hadley]

Can you please add a bullet to NEWS? It should briefly describe the change and end with (@yourname, #issuenumber).

[comicfans]

of course , but I found bullet is written as (#issuenumber, @username) so I followed this style

[hadley]

Thanks, although in the future please follow the new bullet style that I requested, not the old.

[comicfans]

Ok