02-remove-google-ads.patch
04-privacy-breach.patch
05-java11-compatibility.patch
06-jetty-compatibility.patch
