Its a configuration issue. You have to configure the deployments to have unique local jndi names using the jboss.xml descriptor since the default is taken from the ejb-name.
Thanks for your help Scott,
But why should I give these EJBs a local JNDI name: since they are message-driven they shouldn't be bound to the JNDI registry at all, should they?
I think I am missing something...