The server is on a windows machine. the process was terminated, not unresponsive. I just had to start it again.
Meanwhile, I did a reinstall of everything and now it seems to work back again. It would have been intersting to know what made it terminate that way, but user impatience killed the curiosity...