Habe vorhin das richtige runtergeladen und es scheint zu funktionieren. Danke nochmals!!
Nachtrag: Ich habe vorher immer mit JIKES kompiliert, weil es schneller geht. Nur war der nicht dabei. Wo bekomme ich den her? (Ich weiß auch gar nicht woher ich den hatte
)