*/
public IbisRegistry(int numOfWorkers, String iplServer, String iplPool) {
System.setProperty("ibis.server.address", iplServer);
System.setProperty("ibis.pool.name", iplPool);
numOfJoinedWorkersLock = new CountLock(numOfWorkers);
try {
ibis = IbisFactory.createIbis(ibisCapabilities, new RegistryEvent(), PixiPorts.ALL_PORTS);
master = ibis.registry().elect("Master");
} catch (Exception e) {
e.printStackTrace();