Sorry for the noise,
according to
https://java.net/projects/help/pages/MailingLists I tried to unsubscribe from dev@javaserverfaces.java.net by sending an email to sympa@javaserverfaces.java.net with the subject "unsubscribe dev", but apparently without success.
Could someone give me a hint how to do this?
Thanks,
Oliver