}
public void start() throws Exception {
if (!started) {
synchronized (this) {
Environment env = new Environment();
if (envProperties != null) {
Enumeration e = envProperties.keys();
while (e.hasMoreElements()) {
String key = e.nextElement().toString();
if (key.startsWith("pastry.")) {
env.getParameters().setString(key.substring(7),
envProperties.getProperty(key));
}
}
}
NodeIdFactory idFactory = new RandomNodeIdFactory(env);