Update TaintedPact.java