// is probably a mistake. Plus it's bad to
// have important content after the closing
// body tag. Peter Lin 10-9-03
e = body.elements();
} else if (node instanceof BaseHrefTag) {
BaseHrefTag baseHref = (BaseHrefTag) node;
String baseref = baseHref.getBaseUrl().toString();
try {
if (!baseref.equals(""))// Bugzilla 30713
{
baseUrl = new URL(baseUrl, baseHref.getBaseUrl() + "/");
}
} catch (MalformedURLException e1) {
throw new HTMLParseException(e1);
}
} else if (node instanceof ImageTag) {