OffHeapMemoryBuffer.free do an unnecessary pointers.add

In OffHeapMemoryBuffer.free, pointers.add is done but is wrong : all Pointers are always present in the pointers list. Readding it leads to duplicate that will increase unnecessary the size of the pointers list, and thus increase allocation time.