mRequestURL = requestURL;
mRequestURLWWW = "http://www." + mRequestURL.substring(7);
}
// Trick gets Swing's HTML parser
Parser parser = (new HTMLEditorKit() {
public Parser getParser()
{
return super.getParser();
}
}).getParser();
// Read HTML file into string
StringBuffer sb = new StringBuffer();
InputStreamReader isr = new InputStreamReader(is);
BufferedReader br = new BufferedReader(isr);
try
{
String line = null;
while ((line = br.readLine()) != null)
{
sb.append(line);
}
}
finally
{
br.close();
}
// Parse HTML string to find title and start and end position
// of the referring excerpt.
StringReader sr = new StringReader(sb.toString());
parser.parse(sr, new LinkbackCallback(), true);
if (mStart != 0 && mEnd != 0 && mEnd > mStart)
{
mExcerpt = sb.toString().substring(mStart, mEnd);
mExcerpt = Utilities.removeHTML(mExcerpt);