JHPLBuffer might run out of range

[prasser]

It may be a good idea to use an int[] of a size that may be larger larger than 2^31-1