Hi there, I'm trying to reproduce the numbers given for the size of javac in the CC 2003 paper. When I run soot 2.0.1's CHA on javac from specjvm98, using the 1.3.1 library, it says there are 4847 reachable methods, as opposed to the 16307 reachable methods listed in the paper. Has the CHA gotten much better since Soot 1.2.4? Or am I doing something wrong? Thanks, Manu