refreshCounters();     }
processChangesInUI(); }
				public void run() {					refreshCounters();//					for (Enumeration e= fTestRunTabs.elements(); e.hasMoreElements();) {//						TestRunTab v= (TestRunTab) e.nextElement();//						v.endRerunTest(testId);//					}				}