protected ProgressSupport progressSupport;
public DTEDCoverageManager(String[] paths, String[] paths2,
String coverageURL, String coverageFile) {
progressSupport = new ProgressSupport(this);
if (!readCoverageFile(coverageURL, coverageFile)) {
// Swing issues with threading, this is trouble.
// ProgressListenerGauge plg = new
// ProgressListenerGauge("Creating DTED Coverage File");