Fix OPENDJ-552 Finished panel text uses different font sizes

Chris Ridd

08.22.2012 f05655fc2409cb04d8e384bbc7fadfa047a5fb9a

1
2
3
4
We've had to make a few fixes to the TestNG source.  Before upgrading
to a newer version of TestNG, please make sure that the two fixes in
opends-fixes-diff.txt have made it into the TestNG trunk or apply them
yourself to a version that you check out.