document JOSE and ServletContainerInitializer