updating the splash image
Fix missing Eclipse source bundles installation
upgrading maven-antrun-plugin-version to 3.2.0
upgrading to the new version of Eclipse (4.38) and Java 21
.DS_Store banished!
updating the compSite.xml file to generate the Rodin 3.9 update site content
Upgrading the Rodin Core update site script
Increment version of plugins and features to 3.8