code: private void extractArticle(StringBuilder article) {
          // remove all html tags before we unescape the text itself
          // and possibly introduce non-html < characters
          int startOfTextTag = article.indexOf("<text");
          int endOfStart  = article.indexOf(">", startOfTextTag);        
          int closingTextTag = article.indexOf("</text");
          // Remove the ending content.  Some rare, malformatted articles do not
          // contain the ending text tag, so just leave whatever was at the end of
          // the text.
          if (closingTextTag >= 0)
              article.delete(closingTextTag, article.length());
          // Then anything occurring before the text
          article.delete(0, endOfStart + 1);
      }
docs: Extract the article content from {@code text} markup tags.
  
  @param text Raw article text.
  
  @return Article text extracted from {@code text} tags.