}
public void setServerStarted() {
if (!this.serverStarted) {
this.serverStarted = true;
}
<BUG>}
}

</BUG>

}
}
@Deprecated
public void setPasswordGenerator(PasswordGenerator passwordGenerator) {
core.setPasswordGenerator(passwordGenerator);
}
