Sonic Pi 3.1.0 not working anymore after Windows 10 Spring Creators Update



Sonic Pi was running very smoothly on the laptop, until Windows 10 got the recent Spring Creators Update.

At launch of Sonic Pi it ends showing the introduction image.

In the gui.log there is the message: [GUI] - Critical error! Could not boot Sonic Pi Server.

And in the scsynth.log is the message: SC_PortAudioDriver: PortAudio failed at Pa_OpenStream with error: ‘Unanticipated host error’
could not initialize audio.

The question is: what needs to be done to make Windows 10 and Sonic Pi a working combination again?

Thanks in advance for your advice, Ruber.