Allow the tomcat maxHttpHeaderSize to be changed to prevent large SPNEGO headers from causing server errors for example. Added the property to ServerProperties.