Update: Laut https://bugs.eclipse.org/bugs/show_bug.cgi?id=569185 ist der Fehler letzte Woche gefixt worden und soll in der nächsten Eclipse- bzw. SWT-Version 4.19 enthalten sein. Zum Glück gibt es bereits eine Beta von SWT 4.19. Habe sie gerade in's Nightly-Build von Jameica übernommen (erstmal nur bei MacOS64 - bei Windows und Linux gibt es das Problem ja nicht) und getestet. Funktioniert. Der Druck ist damit wieder möglich.