Acontece o "Windows Media Player Plus!" add-on que eu tinha instalado foi o problema. Há uma versão mais recente (2.10) que resolveu o problema de compatibilidade com a atualização do Spring.
Parece que, após a instalação do Windows 10 1803, o Windows Media Player não será iniciado por mim. Sempre diz
Windows Media Player is not installed properly and must be reinstalled.Do you want to install the Player from the Microsoft Web site?
Eu tentei remover e adicionar novamente os recursos opcionais, mas não tive sorte.