bestScript[edgesSoFar] = newEdge;
}
edgesSoFar++;
}
}
<BUG>}
} catch (Break done) {</BUG>
continue;
}
bestBasis = (Matrix) basisAdjustment.getBasis()

bestScript[edgesSoFar] = newEdge;
}
edgesSoFar++;
}
}
}
if (equal)
continue;
} catch (Break done) {
continue;
}
bestBasis = (Matrix) basisAdjustment.getBasis()
