bug#42234: icedtea 1.13.13 jdk not reproducible

[Maxim Cournoyer]

Hi again,

I meant to say, the issue for the 'doc' output still exists, but the
'jdk' output appears to be OK.

Closing this one.

-- 
Thanks,
Maxim