java17-compatibility.patch
