1.1 --- a/rt/emul/mini/src/main/java/java/lang/Character.java	Tue Oct 22 19:33:09 2013 +0200
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Character.java	Sun Mar 02 11:54:59 2014 +0100
     1.3 @@ -2416,11 +2416,11 @@
     1.4       * @since   1.5
     1.5       */
     1.6      public static boolean isWhitespace(int codePoint) {
     1.7 -        if (
     1.8 -            codePoint == SPACE_SEPARATOR || 
     1.9 -            codePoint == LINE_SEPARATOR || 
    1.10 -            codePoint == PARAGRAPH_SEPARATOR
    1.11 -        ) {
    1.12 +        // values up to 128: [9,10,11,12,13,28,29,30,31,32]
    1.13 +        if (9 <= codePoint && 13 >= codePoint) {
    1.14 +            return true;
    1.15 +        }
    1.16 +        if (28 <= codePoint && 32 >= codePoint) {
    1.17              return true;
    1.18          }
    1.19          return false;