if (_hl[1] != 0) {
HashLocPair p = new HashLocPair();
p.hash = _hash;
p.hashloc = _hl;
p.pos = -1;
<BUG>ar.add(p);
} else</BUG>
break;
}
} else {

if (_hl[1] != 0) {
HashLocPair p = new HashLocPair();
p.hash = _hash;
p.hashloc = _hl;
p.pos = -1;
ar.put(z,p);
} else
break;
}
} else {
