On Monday 09 May 2016 23:38:02 Liam O'Toole wrote: > Therefore openjdk-7-* is not regarded as an > upgrade (in the Debian packaging sense) over openjdk-6-*. Instead, they > are different packages, and both can be installed at the same time. Therein lies the rub - and the explanation. Thank you. Well, I don't like Java anyway! One more black mark. :-( Lisi