Other properties
You can use other properties to customize the server, such as determining the repository for fonts.
Important: Modifying these properties might adversely affect the server operation and
they should not be changed without contacting support.