public function getConfigTreeBuilder()
{
$treeBuilder = new TreeBuilder();
$rootNode = $treeBuilder->root('portal');
// Here you should define the parameters that are allowed to
// configure your bundle. See the documentation linked above for
// more information on that topic.
$rootNode->children()->arrayNode('applications')->prototype('array')->children()->scalarNode('name')->end()->scalarNode('dist')->end()->scalarNode('type')->end()->scalarNode('port')->end()->end()->end()->end()->end();
return $treeBuilder;
}