Fix OPENDJ-1844: NPE in AuthenticatedUsers when pre-parse plugin stop proce...

Ludovic Poitou

06.36.2015 b03837dac977fbc5d12e5dc5efc785b1d5d1542f

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.