OPENDJ-1551 checkpoint : apply patch to ensure compatibility with sdk new F...

Gaetan Boismal

13.09.2014 b97463d792458aa6cba0db7d236e117768ac6e78

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