tests

build(deps): update dependency org.eclipse.jdt:org.eclipse.jdt.core to v3.40.0 #8046

Job	Run time
Test with coverage	1m 13s
Tests with Java 17 on windows-latest	1m 8s
Extra checks	1m 24s
Javadoc quality	1m 24s
maven-central-requirements	1m 2s
reproducible-builds	1m 14s
Tests with Java 17 on ubuntu-latest	1m 11s
Codegeneration	1m 24s
Tests with Java 21 on ubuntu-latest	1m 8s
	11m 8s

Provide feedback