protected void installOrbServers(RepositoryImpl repository,
Activator activator)
{
int serverId;
String[] server;
ServerDef serverDef;
for (int i=0; i < orbServers.length; i++) {
try {
server = orbServers[i];
serverDef = new ServerDef(server[1], server[2],
server[3], server[4], server[5] );
serverId = Integer.valueOf(orbServers[i][0]).intValue();
repository.registerServer(serverDef, serverId);