Changes

#3512 (May 27, 2024, 6:00:00 PM)

1. [releng] Add reasonable build timeout to avoid hanging builds — Laurent Redor / githubweb

#3500 (May 15, 2024, 6:00:00 PM)

1. [368] Fix model explorer labels for JDT elements — Laurent Fasani / githubweb

#3499 (May 14, 2024, 6:00:00 PM)

1. [test] Fix RefreshWithCustomizedStyleTests — Laurent Redor / githubweb