remove unecessary <extension> element from maven-bundle-plugin
remove unecessary <extension> element from maven-bundle-plugin

amygithub/vavr,amygithub/vavr,ummels/vavr,dx-pbuckley/vavr,ummels/vavr,dx-pbuckley/vavr