OPENDJ-2182 CR-7793 Change number indexer prevent server from shutting down

Fabio Pistolesi

31.35.2015 87c9fb691b7b976d2c8aa072afb531de08780cab

1
2
user-friendly-name=Dostawca Synchronizacji
user-friendly-plural-name=Dostawcy Synchronizacji