OPENDJ-1714 Fix index type error on setup

Gaetan Boismal

04.09.2015 bc4453c8284458a8fb80f00a89406a669c2dd685

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.