it is still called "default" but it is(was) not registered in case default servlet was already defined in web.xml (one with / mapping)
this was already fixed nightly builds of alpha4,
so i would recommend you to download nightly build https://community.jboss.org/thread/224262
or wait for alpha4.
The alpha4 snapshot build worked. Thanks!