Studio under Windows updated itself automatically when I started it up, and indeed the problem was resolved.
The problem also disappeared on my Linux/Tomcat based server, without any manual intervention.
Does the server get updated automatically?
If so, is it possible to control that and initiate an automatic update manually?
For best results, use the Firefox browser..