# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1379878968 -7200
# Node ID f66bcda8234522a3e4a7d13df767fb4903ec295f
# Parent  8bf8753226bd0c90283bb0c1962269ca04e54cbe
Trivial implementation of isWhitespace

diff -r 8bf8753226bd -r f66bcda82345 rt/emul/mini/src/main/java/java/lang/Character.java
--- a/rt/emul/mini/src/main/java/java/lang/Character.java	Tue Sep 17 15:00:48 2013 +0200
+++ b/rt/emul/mini/src/main/java/java/lang/Character.java	Sun Sep 22 21:42:48 2013 +0200
@@ -2375,7 +2375,14 @@
      * @since   1.5
      */
     public static boolean isWhitespace(int codePoint) {
-        throw new UnsupportedOperationException();
+        if (
+            codePoint == SPACE_SEPARATOR || 
+            codePoint == LINE_SEPARATOR || 
+            codePoint == PARAGRAPH_SEPARATOR
+        ) {
+            return true;
+        }
+        return false;
     }
 
     /**