Enumeration<int[]> streamEnum;
if (defNestingorder.length < 6) {
streamEnum = new NumberSetPermutationEnumeration(defNestingorder);
}
else {
streamEnum = new NumberSetShiftGroupEnumeration(defNestingorder);
}
int[] bestPermutation = null;
int bestDepth = -1;
while(streamEnum.hasMoreElements())