/* 436 */ Vector oldSrcs = oldPB.getSources();
/* 437 */ oldPB.removeSources();
/* */
/* 439 */ ParameterBlock newPB = (ParameterBlock)event.getNewValue();
/* 440 */ Vector newSrcs = newPB.getSources();
/* 441 */ newPB.removeSources();
/* */
/* 444 */ JAIRMIUtil.checkClientParameters(oldPB, this.serverName);
/* 445 */ JAIRMIUtil.checkClientParameters(newPB, this.serverName);
/* */
/* 447 */ oldPB.setSources(JAIRMIUtil.replaceSourcesWithId(oldSrcs, this.serverName));