public void setIdleTimeout(int var1) {
super.setIdleTimeout(var1);
this.serverProperties.setProperty("player-idle-timeout", (Object) Integer.valueOf(var1));
this.saveProperties();
}
public void setIdleTimeout(int i) {
super.setIdleTimeout(i);
this.propertyManager.setProperty("player-idle-timeout", Integer.valueOf(i));
this.a();
}