Esta é uma solução alternativa, não uma resposta, na verdade, mas descobri que tem algo a ver com a instalação da opção "Sistema de arquivos local". Usando a opção "Sistema de arquivos remoto", mesmo que o arquivo WAR esteja na minha unidade local, funciona.