Use specs in `analysis::m3::AST` and `analysis::m3::Core` to test Java JDT bridge in `lang::java::m3::*`

[jurgenvinju]

Describe the bug

These new specs are parametrized test functions that take M3 models or node ASTs as parameters to test internal consistency. We never applied them to the Java M3 support, but we should take some time to apply these tests and fix possible problems for correctness and consistency.