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 program execution starts from the main (String [] args) method defined in the Main class. So the first stack-frame is put on the Stack. This method has some local variables like 'name', 'times', ...