a friend of mine called my attention to the following link:
I’m new to the server’s world, so I’m not sure, wether this is “just”
a Java problem, but also a nginx one, since the server in question is
nginx 1.0.15 …
However, it might be a good idea to spread the word of this security
hole.