Some useful changes from Contest 2023 that were missed in UnitTestBot main branch#2675

EgorkaKulikov merged 1 commit intomainUnitTestBot/UTBotJava:mainfrom

egor/missed_changes_from_contest2023UnitTestBot/UTBotJava:egor/missed_changes_from_contest2023Copy head branch name to clipboard