01-add-debian-maven-repo-settings.patch
drop-platform-java.patch
