for (; pos[0] < text.length(); ++pos[0]) { char ch = text.charAt(pos[0]); int digit = getDigit(ch); if (digit >= 0 && digit <= 9) { normalizedText.append((char) (digit + '0'));
for (; pos[0] < text.length(); ++pos[0]) { char ch = text.charAt(pos[0]); int digit = getDigit(ch); if (digit >= 0 && digit <= 9) { normalizedText.append((char) (digit + '0'));
for (; pos[0] < text.length(); ++pos[0]) { char ch = text.charAt(pos[0]); int digit = getDigit(ch); if (digit >= 0 && digit <= 9) { normalizedText.append((char) (digit + '0'));