add_pom_xml
correct_debian_build_properties
java10-compatibility.patch
