Quick doc formatting update
Merge pull request #1009 from jbertram/master

Doc update
Fix docs build on Windows. The issue seen is https://github.com/pressgang/jdocbook-core/issues/17. The suggested workaround works for us.
Merge pull request #1011 from gaohoward/master

Fix docs build on Windows.
Merge pull request #1008 from FranciscoBorges/master

On IOError, pass `criticalIOError=true` when stopping the server
Trivial change to equals/hashCode of ConfigurationImpl.
This commit is in practice a verification that the methods are up-to-date.