tests

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

Job	Run time
Extra checks	1m 22s
Test with coverage	1m 13s
Javadoc quality	1m 25s
Tests with Java 17 on ubuntu-latest	1m 17s
Tests with Java 17 on windows-latest	1m 9s
Tests with Java 21 on ubuntu-latest	44s
Codegeneration	1m 13s
maven-central-requirements	1m 2s
reproducible-builds	1m 11s
	10m 36s

Provide feedback