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 ...

The hot code heap proposal is based on older proposals for a segmented code cache and compiler control. Both are from Java Development Kit 9, which was released in September 2017.