Javadoc 1.1 verwendet in der erzeugten Dokumentation kleine Grafiken, die von dem Tool nicht miterzeugt werden. /home/java/Uebungen/etc/images.zip enthaelt die kleinen Bilder. Bernd