I believe that prior to 1.3 (maybe it was 1.2) Java was exact for pointers on the heap, conservative for pointers on the stack, because being exact for pointers on the stack means maintaining ...

* Constructor for the Heap class. * Sets heapSize to data size, stores parameters, inserts null at heap * element 0, and calls buildHeap(). * @param data an unordered ArrayList, where element 0 is not ...