Okay, ich hab' über das Java 7 (das ich ja eigentlich auch erst vor ein paar Wochen installiert hab') nun noch das Java 8 drüberinstalliert. Siehe da, nun bin ich einen Schritt weiter. 
Allerdings ist der Kartenausschnitt etwas beschränkt - wieder nur ein Bug bei mir oder ein generelles Problem?
karte.jpg (Size: 350.25 KB / Downloads: 738)
Edit: Wenn man mit der Maus den Kartenausschnitt zieht, dann ändert sich nur die Karte, wenn man dagegen mit der Maus die Bildleiste zwischen Karte und Positionsliste oder Karte und Höhendiagramm nach links/rechts oder oben/unten zieht, dann wird die ganze Oberfläche neu gezeichnet und die Karte ist wieder normal groß wie gewohnt. Workaround existiert also, schöner wäre aber natürlich das alte Verhalten...
Allerdings ist der Kartenausschnitt etwas beschränkt - wieder nur ein Bug bei mir oder ein generelles Problem?
karte.jpg (Size: 350.25 KB / Downloads: 738)
Edit: Wenn man mit der Maus den Kartenausschnitt zieht, dann ändert sich nur die Karte, wenn man dagegen mit der Maus die Bildleiste zwischen Karte und Positionsliste oder Karte und Höhendiagramm nach links/rechts oder oben/unten zieht, dann wird die ganze Oberfläche neu gezeichnet und die Karte ist wieder normal groß wie gewohnt. Workaround existiert also, schöner wäre aber natürlich das alte Verhalten...