Hi Markus, On Mon, May 14, 2018 at 03:00:44PM +0200, Markus Koschany wrote: > Though you should expect that this will also stop working eventually. I > would also consider to drop the documentation from the package completely.
Could you suggest a safe way to do this reliably? (Unfortunately I'm not comfortable with Java stuff to know where to turn the lever to reach this.) Thanks for your fast help Andreas. -- http://fam-tille.de