Use Java 25 on Jenkins#3405

NotMyFault wants to merge 2 commits intomainIntellectualSites/FastAsyncWorldEdit:mainfrom

jenkins25IntellectualSites/FastAsyncWorldEdit:jenkins25Copy head branch name to clipboard