if (managerFactory != null) {
deploymentInfo.setSessionManagerFactory(managerFactory);
}
SessionIdentifierCodec codec = this.sessionIdentifierCodec.getOptionalValue();
if (codec != null) {
deploymentInfo.setSessionConfigWrapper(new CodecSessionConfigWrapper(codec));
}
}