tree a2fbbcfe743ea593158478f184ddfe62fbeb5735
parent abb8b40bd0c73fdc6e1dae747c3cb416899120ff
author Gilles Sadowski <gilles@harfang.homelinux.org> 1574784373 +0100
committer Gilles Sadowski <gilles@harfang.homelinux.org> 1574784373 +0100

Use more specific interface from the JDK.

Reported by "soundcloud.io".