IndexBuffer.java: Augmented javadoc with a comment from CR-7560

Jean-Noel Rouvignac

10.49.2015 a08f900f8f8cfafc10da513fa22e4bd286e913ec

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