diff --git a/configs/configuration-20-rpmbuild-raw.xml b/configs/configuration-20-rpmbuild-raw.xml
index 472b55b..eb99908 100644
--- a/configs/configuration-20-rpmbuild-raw.xml
+++ b/configs/configuration-20-rpmbuild-raw.xml
@@ -30,6 +30,9 @@
<stereotypes>
<stereotype>
<extension>jar</extension>
+ <stereotype>
+ </stereotype>
+ <extension>zip</extension>
</stereotype>
</stereotypes>
</repository>
diff --git a/configs/configuration-20-rpmbuild.xml b/configs/configuration-20-rpmbuild.xml
index c6b91bd..5ecb4ba 100644
--- a/configs/configuration-20-rpmbuild.xml
+++ b/configs/configuration-20-rpmbuild.xml
@@ -43,6 +43,9 @@
<stereotype>
<extension>jar</extension>
</stereotype>
+ <stereotype>
+ <extension>zip</extension>
+ </stereotype>
</stereotypes>
</repository>
<repository>
diff --git a/configs/configuration-20.xml b/configs/configuration-20.xml
index 883d6b1..1186b46 100644
--- a/configs/configuration-20.xml
+++ b/configs/configuration-20.xml
@@ -76,6 +76,13 @@
<stereotype>
<extension>jar</extension>
</stereotype>
+ <!-- Maybe /usr/share/java is not the best place to store
+ ZIP files, but packages are doing so anyways and
+ allowing ZIPs here simplifies packaging. TODO: find a
+ better location for ZIP files. -->
+ <stereotype>
+ <extension>zip</extension>
+ </stereotype>
</stereotypes>
</repository>
<repository>