Build #1147(JDK11,Eclipse4.23) (May 17, 2024, 2:09:29 PM)

1. only validate once per primary source element (details / githubweb)
2. added a syntactic element in test language for recreating the problem (details / githubweb)
3. recreated corner case with test (details / githubweb)

Push event to branch main at 2:09:14 PM on May 17, 2024

This run spent:

• 14 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 23 min total from scheduled to completion.

• main