if (filenameLowerCase.endsWith(HTM_EXTENSION)
|| filenameLowerCase.endsWith(HTML_EXTENSION)
|| filenameLowerCase.endsWith(XHTML_EXTENSION)) {
return new FileBook(
filename,
new ArchiveFolder(
RandomReadingFile.getPathFromURL(filename)),
new HTMLTextParser(),
true);
}