;Version 7.4
* Removed: {{Code|STOPPORT}}, {{Code|HTTPPORT}}, {{Code|HTTPPATH}}; {{Code|jetty.xml}} configuration file is used instead
* Added: {{Code|WEBPATH}}
* Added: set options via system properties
* Added: pragma expression for temporarily setting database options