41154116411741184119412041214122412341244125
// String public boolean textIsWhitespace ( ) { Chars chars = new Chars(); getText( chars ); String s = chars.asString(); for ( int i = 0 ; i < s.length() ; i++ ) { switch ( s.charAt( i ) ) {
40244025402640274028402940304031403240334034
39783979398039813982398339843985398639873988
39823983398439853986398739883989399039913992