On 24/08/18 10:43, FeepingCreature wrote: > Have you tried to use the excellent Dustmite tool? It's never failed to > reduce a bug for me. Dustmite might be excellent. I wouldn't know. It cannot swallow the Weka code base. Shachar