package edu.umd.cs.findbugs.ba.npe;
import edu.umd.cs.findbugs.ba.Location;
public class RedundantBranch {
public final Location location;
public final int lineNumber;
<BUG>public boolean checkedValue;
public RedundantBranch(Location location, int lineNumber, boolean checkedValue) {
</BUG>
this.location = location;
<BUG>this.lineNumber = lineNumber;
this.checkedValue = checkedValue;
</BUG>
}

package edu.umd.cs.findbugs.ba.npe;
import edu.umd.cs.findbugs.ba.Location;
public class RedundantBranch {
public final Location location;
public final int lineNumber;
public final IsNullValue firstValue, secondValue;
public RedundantBranch(Location location, int lineNumber,  IsNullValue firstValue, IsNullValue secondValue) {
this.location = location;
this.lineNumber = lineNumber;
this.firstValue = firstValue;
this.secondValue = secondValue;
}
