Update and adapt StatET to Eclipse 2025-06
Update and adapt StatET to the Eclipse target platform of StatET 4.11.
issue