Remove dead code in ServerProperties