8140336: Add @modules for exported dependencies to jdk_core tests
Reviewed-by: alanb, mchung

8027696: Incorrect copyright header in the tests
Reviewed-by: alanb, malenkov, mullan

8022547: [verifier] move DefaultMethodRegressionTests.java to jdk
Reviewed-by: acorn