Tom Tromey schrieb: > Hmm... I wonder if somehow you have tools executables from > classpath/tools installed. We should not be installing those but we > don't seem to disable the Makefile bits. but these are installed as /usr/share/classpath/tools.zip, not classpath-tools.jar (using my debian build). Matthias