Skip to content

Fix opening of preference dialog with Java 9#2329

Merged
tobiasdiez merged 3 commits intomasterfrom fixJava9PrefsDec 1, 2016