diff -r af4001c85438 -r fe3567c7b522 rt/emul/mini/src/main/java/java/lang/Character.java
--- a/rt/emul/mini/src/main/java/java/lang/Character.java	Thu Feb 28 10:39:40 2013 +0100
+++ b/rt/emul/mini/src/main/java/java/lang/Character.java	Sat Sep 07 13:56:22 2013 +0200
@@ -2298,6 +2298,10 @@
      */
     @Deprecated
     public static boolean isSpace(char ch) {
+        return isSpaceChar(ch);
+    }
+
+    public static boolean isSpaceChar(int ch) {
         return (ch <= 0x0020) &&
             (((((1L << 0x0009) |
             (1L << 0x000A) |
@@ -2307,7 +2311,6 @@
     }
 
 
-
     /**
      * Determines if the specified character is white space according to Java.
      * A character is a Java whitespace character if and only if it satisfies