docs: public void clearLeadingSpaces(TextProvider textProvider)
          
      {
          while (true)
          {
              mark(textProvider);
  			char c;
  			try
  			{
  				c = getNextChar(textProvider);
  			}
  			catch (ExceededBufferSizeException e)
  			{
  				return;
  			}
  			catch (ParserException e)
  			{
  				// ignore problems at this point
  				return;
  			}
  
              if (c == 0)
              {
              	if (m_textProviderStack.size() > 0)
              	{
  					textProvider.close();            		
  					textProvider = (TextProvider)m_textProviderStack.pop();
              	}
              	break;
              } 
              if (" \t\r\n".indexOf(c) == -1)
              {
                  reset(textProvider);
                  break;
              }
              unmark(textProvider);
          }
      }