ISPN-4410 Remove superfluous elements/attributes from server configurations
ISPN-4411 Use server management port 9990 instead of 9999