Update IntAnalysis.java