} else { if ( mustRefresh ) cTabItem.getDisplay().timerExec( 2500, this );
} else {  if (mustRefresh) { cTabItem.getDisplay().timerExec(2500, this); }
    private void delayedRefresh() {        if ( System.currentTimeMillis() > ( lastRefreshTime + 2000 ) ) {            lastRefreshTime = System.currentTimeMillis();			ourTableViewer.getTableViewer().refresh( true );            mustRefresh = false;        }        else { // schedule an update so we don't miss one            if ( mustRefresh )                cTabItem.getDisplay().timerExec( 2500, this );        }    }