2023-12 target platform needs update to take org.eclipse.ui.themes
Commit openjdk/jmc/ea0b1133
Review openjdk/jmc/550
Review openjdk/jmc/551