1Tests that the method resolution is consistent with JLS and the RI.
2Where the RI conflicts with JLS, we follow the JLS and suppress the divergence
3when the test is executed with --jvm.
4(See Main.java for per-test details.)
5