builder.add(TapestryModule.class);
// A synthetic module to ensure that the tapestry.alias-mode is set correctly.
SymbolProvider provider = new SingleKeySymbolProvider(InternalSymbols.ALIAS_MODE, "servlet");
ContributionDef contribution = new SyntheticSymbolSourceContributionDef("AliasMode", provider,
"before:ApplicationDefaults");
ModuleDef module = new SyntheticModuleDef(contribution);
builder.add(module);