10001001100210031004100510061007100810091010
while(start< end && XMLCharacterRecognizer.isWhiteSpace( fsb.charAt(start) ) ) ++start; if (start < end && fsb.charAt(start) == '-') { isNegative=true; start++; }
10091010101110121013101410151016101710181019
} // parse the string from left to right converting as an integer. for (int i = start; i < end; i++) { char c = fsb.charAt(i); if(XMLCharacterRecognizer.isWhiteSpace(c)) { trailingSpace=true; break; // Trailing whitespace is ignored