if (shell.isDisposed()) return; table.setRedraw(true); table.setRedraw(false); }
if (shell.isDisposed()) return; TableItem tableItem = new TableItem(table, 0); tableItem.setText(strings); tableItem.setImage(iconImage); tableItem.setData(TABLEITEMDATA_FILE, file); }
				public void run () {					// guard against the shell being closed before this runs					if (shell.isDisposed()) return;					table.setRedraw(true);					table.setRedraw(false);				}