Thank you Franz,

I tried these URLs, but Safari just tell me that it cannot connect to this server. Do I have to make some others adjustments? I see that one can edit a list of site exceptions in the Java Control Panel. I have never touched it, so the list is empty. Do I put the URLs in there?