tableHistoryViewer.add(entries);
tableHistoryViewer.refresh();
						public void run() {							if(entries != null && tableHistoryViewer != null && ! tableHistoryViewer.getTable().isDisposed()) {								tableHistoryViewer.add(entries);								selectRevision(revisionId);							}						}