try {
for ( int i = 0; i < remoteTokens.length; ++i ) {
int remoteToken = remoteTokens[ i ];
BrowserManager mgr = browserManagers[ i ];
if ( remoteToken != 0 ) {
mgr.killBrowser(remoteToken);
}
remoteTokens[ i ] = mgr.launchNewBrowser(url, INITIAL_KEEPALIVE_MS);
}
} catch (Exception e) {
shell.getTopLogger().log(TreeLogger.ERROR,