Apparently it is necessary to remove explicitly the doc package (or what is left of it) after the bug has shown up: sudo apt-get remove openjdk-6-doc Michael
Apparently it is necessary to remove explicitly the doc package (or what is left of it) after the bug has shown up:
sudo apt-get remove openjdk-6-doc
Michael