On 17.04.2016 18:47, Branko Čibej wrote:
> (The warning probably gets emitted from JavaHL too, but I haven't checked 
> that.)

Indeed it does pop up in JavaHL.

-- Brane

Reply via email to