I see the problem at
Before
Preferences.get("launcher");
had priority if it was set. Now it does
if(Desktop.isDesktopSupported()) { super.openFolder(file); }
which triggers
Desktop.getDesktop().open(file);
in DefaultPlatform (ignoring the preferences). Thanks for the help! Knowing what’s the issue is good enough for me 