Danke fnumatic für den Code. Ich weiß zwar nicht wo du ihn her hast (Disassembling?), aber zumindest hat er mir einen Hinweis gegeben.
Wenn ich den Code richtig interpretiere, werden für Windows und andere Betriebssysteme unterschiedliche Kommandobruchstücke erzeugt. Unter Windows z.B.
-classpath "C:\Java\javakara.jar;C:\Java;", unter Linux dagegen
-classpath /home/tux/Java/javakara.jar:/home/tux/Java; (Keine Anführungszeichen, Doppelpunkt statt Semikolon als Trenner).
Daher habe ich verschiedenes durchprobiert:
$ javac -classpath '/home/tux/Java/javakara.jar:/home/tux/Java;' /home/tux/Java/FindeBaum.java ⇒ incorrect classpath: /home/tux/Java;
$ javac -classpath "/home/tux/Java/javakara.jar:/home/tux/Java;" /home/tux/Java/FindeBaum.java ⇒ incorrect classpath: /home/tux/Java;
$ javac -classpath /home/tux/Java/javakara.jar:/home/tux/Java /home/tux/Java/FindeBaum.java ⇒ Keine Fehlermeldung
$ javac -classpath /home/tux/Java/javakara.jar:/home/tux/Java; /home/tux/Java/FindeBaum.java ⇒ Die Bash interpretiert es durch das Semikolon als zwei Befehle, effektiv passiert also gar nichts.
"which java" zeigt auf /usb/bin/java, die Version ist von Sun. Interessanter ist aber vielleicht
$ which javac
/usr/bin/javac
$ javac
Eclipse Java Compiler v_774_R33x, 3.3.1
Copyright IBM Corp 2000, 2007. All rights reserved.
💡 EDIT: Das ist sogar sehr interessant. /usr/bin/javac zeigt nämlich auf /etc/alternatives/javac, das wiederum auf /usr/lib/jvm/java-gcj/bin/javac zeigt.
Das war als des Rätsels Lösung: Da Ubuntu automatisch gjc statt sun-java installiert, wird das auch beim JDK so gemacht. (Wobei mir eigentlich unverständlich ist, dass gjc trotz aller Inkompatibilitäten immer noch Standard ist, obwohl Java 6 formal eigentlich schon open source ist.)
Daher habe ich es mal mit
sudo update-alternatives --configure javac
probiert - und siehe da: Alles funktioniert!
Wie ich jetzt gerade gesehen habe, steht es auch in Java ganz unten kurz erwähnt. Da aber im Gegensatz zu java für javac kein Code angegeben ist, habe ich das wohl ganz übersehen ...
Vielen Dank an euch beide, ohne eure Tipps wäre ich der wahren Ursache wohl nicht auf die Schliche gekommen!