while ( c != EOF  &&  Character.isWhitespace( c ) )
while ( c != EOF  &&  Character.isWhitespace( (char)c ) )
	private int skipSpace( int c )	{		while ( c != EOF  &&  Character.isWhitespace( c ) )		{			c = getC( );		}		return c;	}