Sohaib Baig cc00c99c18 Revert "merge main" ...

This reverts commit a722f6c687, reversing
changes made to ebd48be8aa.

2026-01-16 13:09:37 +01:00

..

org.eclipse.core.resources.prefs

…

org.eclipse.jdt.core.prefs

…

org.eclipse.pde.core.prefs

…