if (pNumSpecsSet != null) {
// an array to keep track of distinct numbers are already converted
NumberArray usedNumbers = new NumberArray(pNumChar);
usedNumbers.deassignArray();
for (int iw = 0; iw < pNumChar; iw++) {
MesquiteNumber aNumber = new MesquiteNumber();
MesquiteNumber secondNumber = new MesquiteNumber();