A translator of Java programs to TADDs