FYI I've just tried to debug the TomcatWebServerTest and the set of discovered CDIProviders only contained org.jboss.weld.environment.WeldProvider and org.jboss.weld.environment.se.WeldSEProvider and both worked fine (alhough the test assertion failed).