diff -r 12a395b571c8 -r 797da74ddde1 rt/emul/mini/src/main/java/java/lang/Character.java
--- a/rt/emul/mini/src/main/java/java/lang/Character.java	Tue Oct 22 19:33:09 2013 +0200
+++ b/rt/emul/mini/src/main/java/java/lang/Character.java	Sun Mar 02 11:54:59 2014 +0100
@@ -2416,11 +2416,11 @@
      * @since   1.5
      */
     public static boolean isWhitespace(int codePoint) {
-        if (
-            codePoint == SPACE_SEPARATOR || 
-            codePoint == LINE_SEPARATOR || 
-            codePoint == PARAGRAPH_SEPARATOR
-        ) {
+        // values up to 128: [9,10,11,12,13,28,29,30,31,32]
+        if (9 <= codePoint && 13 >= codePoint) {
+            return true;
+        }
+        if (28 <= codePoint && 32 >= codePoint) {
             return true;
         }
         return false;