* Removed: {{Code|STOPPORT}}, {{Code|HTTPPORT}}, {{Code|HTTPPATH}}; {{Code|jetty.xml}} configuration file is used instead
* Added: {{Code<code>[[#WEBPATH|WEBPATH}}]]</code>
* Added: set options via system properties
* Added: pragma expression for temporarily setting database options