01-java17-compatibility.patch
