On 05/02/14 13:30, Christoph Egger wrote: > OK. I did really run the upgrade but had the give-back already posted > while still upgrading finzi. might have been a race, let's see if it > works now That can't be, this was a new upload of openjdk-7 today... Regards, -- Steven Chamberlain steven@pyro.eu.org