Sorry to reply to my own message, but I think I found the cause:
installation of the Scala plugin requires write access to the
eclipse package. When I fixed that an reinstalled the plugin, it worked.
I would recommend adding a comment in this sense to the instructions.