> Sorry for spam again. :-)

No, thanks a lot for tracking that down and reporting details!
Presumably a significant amount of users are on that version of Ubuntu
running with openjdk.

-- 
/ Peter Schuller

Reply via email to