Você está vendo a versão anterior da nova experiência da Alura que estamos preparando para você. Em breve, ela ganha uma identidade visual novinha totalmente pensada em potencializar seus estudos!
Solucionado
Tô seguindo a trilha Engenheiro DevOps: Linux I, II, Git e agora Vagrant... aí de repente fala sobre Vraptor? E eu já deveria saber de onde surgiu o arquivo musicjungle.war, da aula 2? Acho que pularam alguma coisa aí...
(edit) Ok, pra mim é que não ficou claro porque eu já quis ir fazendo as coisas enquanto lia o item 2 da aula 2. A explicação pro musicjungle.war vem na atividade (item 3) da aula 2.
Boa João, acho que você resolveu a questão :D
Acho que podia rolar um aviso "tal coisa não surgiu do nada, veremos mais a seguir nas atividades", por exemplo...