Hallo,
Mittlerweile weiß ich auch, dass Alt+125 bzw. Alt+93 die richtigen Zeichen "ergeben",
... und [AltGr]+ [}] bzw. [AltGr] + []] nicht.
Kann man in Eclipse irgendwo Tastatur-Shortcuts festlegen?
Das wäre eine mögliche Erklärung.
viele Grüße
Axel