Update ServerProperties so that unknown SERVER_* environment properties
do not cause startup failures.

Fixes gh-3903