* if the full URL can't be constructed.
*/
private BufferedReader constructBufferedReader(URL baseUrl, Component parent) throws IOException,
MalformedURLException {
URLConnection con = new URL(baseUrl, getFilename()).openConnection();
ProgressMonitorInputStream pmis = new ProgressMonitorInputStream(parent, filename, con.getInputStream());
pmis.getProgressMonitor().setMillisToPopup(0);
pmis.getProgressMonitor().setMaximum(con.getContentLength());
InputStream input = new GZIPInputStream(pmis);
return new BufferedReader(new InputStreamReader(input, ENCODING));
}