table.setRedraw(false);
			public void run() {				tableContentsOfLabel.setText(FileViewer.getResourceString("details.ContentsOf.text",					new Object[] { workerStateDir.getPath() }));				table.removeAll();				table.setRedraw(false);				table.setData(TABLEDATA_DIR, workerStateDir);			}