+ depth);
}
public TimeDist getLastPiercePoint(double depth) {
TimeDist piercepoint = null;
for(int i = 0; i < pierce.length; i++) {
<BUG>if(pierce[i].depth == depth) {
</BUG>
piercepoint = pierce[i];
}
}

+ depth);
}
public TimeDist getLastPiercePoint(double depth) {
TimeDist piercepoint = null;
for(int i = 0; i < pierce.length; i++) {
if(pierce[i].getDepth() == depth) {
piercepoint = pierce[i];
}
}
