public static boolean isWhiteSpaceChar( char tc )
{
if( tc == '\u0009'
 || tc == '\r'
 || tc == '\n'
 || tc == '\u000b'
 || tc == '\u000c'
 || tc == '\u0000'
 || tc == '\u00a0'
 || tc == ' ' )
	{
return true;
	}
else
	{
	return false;
	}
}