Why doesn't GWT's JRE support Character.isWhitespace()? It supports Character.isSpace(), but that's @deprecated by Sun in (at least) 1.5: http://java.sun.com/javase/6/docs/api/java/lang/Character.html#isSpace(char)
eric -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
