OPENDJ-1741: Fix error in server pom

Gaetan Boismal

13.56.2015 c45c0bc1f6f9b0a3a7b00a8d80c4819f90c365bd

1
2
3
4
user-friendly-name=Editor de registro
user-friendly-plural-name=Editores de registro
synopsis=Los editores de registro se encargan de distribuir mensajes de registro desde diferentes dispositivos de registro a un destino.
property.enabled.synopsis=Indica si el editor de registros est\u00e1 habilitado para su uso.