openjdk-jdk11-latest,migration (Apr 22, 2023, 5:42:37 AM)

1. Revert "[cleanup] Update usage of deprecated preferences API" (details / githubweb)

Started by upstream project emf-validation-master build number 217
originally caused by:

• Started by user Pierre-Charles David

This run spent:

• 6 min 20 sec waiting;
• 2 min 3 sec build duration;
• 8 min 23 sec total from scheduled to completion.

• origin/master

• org.eclipse.emf.validation.tests.FrameworkTest.test_multiPackagesPerProvider