Fix OPENDJ-552 Finished panel text uses different font sizes

Chris Ridd

08.22.2012 f05655fc2409cb04d8e384bbc7fadfa047a5fb9a

1
2
user-friendly-name=Registre del publicador
user-friendly-plural-name=Registre dels publicadors