On Fri, 19 Sep 2014, Marián Kyral wrote: > the issue is back. Could you check it please? Hmpf - this time I did it. What Java version do you use? It should have affected only Java 6, which we don't support anymore. Ciao -- http://www.dstoecker.eu/ (PGP key available)