1.1 --- a/rt/emul/mini/src/main/java/java/lang/Character.java	Thu Feb 28 10:39:40 2013 +0100
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Character.java	Sat Sep 07 13:56:22 2013 +0200
     1.3 @@ -2298,6 +2298,10 @@
     1.4       */
     1.5      @Deprecated
     1.6      public static boolean isSpace(char ch) {
     1.7 +        return isSpaceChar(ch);
     1.8 +    }
     1.9 +
    1.10 +    public static boolean isSpaceChar(int ch) {
    1.11          return (ch <= 0x0020) &&
    1.12              (((((1L << 0x0009) |
    1.13              (1L << 0x000A) |
    1.14 @@ -2307,7 +2311,6 @@
    1.15      }
    1.16  
    1.17  
    1.18 -
    1.19      /**
    1.20       * Determines if the specified character is white space according to Java.
    1.21       * A character is a Java whitespace character if and only if it satisfies