Brian Clozel 12d883f6b9 Introduce "server.servlet" configuration prefix ... This commit refactors the `ServerProperties` property keys and introduces a separate "server.servlet" namespace to isolate servlet-specific properties from the rest. Closes gh-8066		2017-02-07 16:48:22 +01:00
..
src	Introduce "server.servlet" configuration prefix	2017-02-07 16:48:22 +01:00
pom.xml	Next Development Version	2017-01-30 20:10:13 +00:00