public String[] tokenize(URL url) throws JasenException {
assertReaderAvailable();
String html = urlReader.readURL(url);
StandardHTMLParser htmlParser = new StandardHTMLParser();
String text = htmlParser.extractText(html);
String[] tokens = text.split(" ");
return tokens;
}
/**