handle non whitespace space characters such as 'NO-BREAK SPACE'

Author: bosborn

src/main/java/mil/nga/sf/util/TextReader.java

@@ -119,13 +119,13 @@ public String readToken() throws IOException {
 					} else {
 						// Complete the token before this character and cache
 						// the character
-						if (!Character.isWhitespace(character)) {
+						if (!isWhitespace(character)) {
 							nextCharacterNum = characterNum;
 						}
 						break;
 					}
 
-				} else if (!Character.isWhitespace(character)) {
+				} else if (!isWhitespace(character)) {
 
 					// First non whitespace character in the token
 					builder = new StringBuilder();
@@ -191,4 +191,15 @@ private static boolean isTokenCharacter(char c) {
 				|| (c >= '0' && c <= '9') || c == '-' || c == '.' || c == '+';
 	}
 
+	/**
+	 * Check if the character is whitespace or a space character
+	 * 
+	 * @param c
+	 *            character
+	 * @return true if whitespace
+	 */
+	private static boolean isWhitespace(char c) {
+		return Character.isWhitespace(c) || Character.isSpaceChar(c);
+	}
+
 }