On Sat, Sep 10, 2016 at 07:35:36PM +0100, Sascha Steinbiss wrote: > > OK, great. The override is gone now and javahelper’s default mechanism works perfectly. Confirmed and uploaded. Kind regards Andreas. -- http://fam-tille.de