}
				public void run() {					try {						if (fPagebook != null && !fPagebook.isDisposed()) {							doTypeHierarchyChangedOnViewers(changedTypes);						}					} finally {						fIsRefreshRunnablePosted= false;					}				}