import pure.fsm.telco.TelcoRechargeContext;
<BUG>import java.time.LocalDateTime;</BUG>
import java.util.Set;
import static com.google.common.collect.Sets.newHashSet;
import static java.util.stream.Collectors.toSet;
<BUG>public class HzTelcoRechargeContext extends TelcoRechargeContext {
private HzTelcoRechargeContext(String stateMachineId, Set<Resource> resources, Exception e, String msg,
LocalDateTime transitioned, State current, Context previous, Set<String> acceptedPins) {
super(stateMachineId, resources, e, msg, transitioned, current, previous, acceptedPins);</BUG>
}

import pure.fsm.telco.TelcoRechargeContext;
import java.util.Set;
import static com.google.common.collect.Sets.newHashSet;
import static java.util.stream.Collectors.toSet;
public class HzTelcoRechargeContext extends TelcoRechargeContext {
protected HzTelcoRechargeContext(BaseContextBuilder baseContextBuilder, Set<String> acceptedPins) {
super(baseContextBuilder, acceptedPins);
}
