code: public static boolean isJSSpace(int c) {
      if (c <= 127) {
        return c == 0x20 || c == 0x9 || c == 0xC || c == 0xB;
      } else {
        return c == 0xA0
            || Character.getType((char) c) == Character.SPACE_SEPARATOR;
      }
    }
docs: /* As defined in ECMA.  jsscan.c uses C isspace() (which allows
  \v, I think.)  note that code in getChar() implicitly accepts
  '\r' == \u000D as well.