if (rangeElement == null) {
break;
}
int from = Integer.parseInt(Navigator.getAttributeValue(rangeElement, "", "from").substring(2), 16);
int to = Integer.parseInt(Navigator.getAttributeValue(rangeElement, "", "to").substring(2), 16);
IntSet cr = new IntBlockSet(from, to);
if (range == null) {
range = cr;
} else if (range instanceof IntBlockSet) {
range = range.mutableCopy().union(cr);
} else {