OK, ich revidiere. Offenbar ist diese Einstellung nur für ab da erzeugte JScrollPanes gültig. Damit kann ich natürlich steuern, welche davon die dünnen Scrollbalken erhalten sollen.
Danke schön.
BTW: Wo findet man eine Liste der Properties, die man setzen kann?