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

Jean-Noel Rouvignac

10.49.2015 4e6d62dafebc5513ce006ec3e18ebcc1db51e95d

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