824825826827828829830831832833834
public void run() { progressNotificationPanel.remove(progressPanel); progressNotificationPanel.revalidate(); progressPanelMap.remove(progressPanel); progressPanel.dispose(); } }); } }
828829830831832833834835836837838
831832833834835836837838839840841