diff -r e01b65623f72 -r 1a3f102e5ea5 pom.xml
--- a/pom.xml	Wed Dec 05 11:18:09 2012 +0100
+++ b/pom.xml	Thu Dec 13 08:40:39 2012 +0100
@@ -71,7 +71,6 @@
                        <exclude>javap/**</exclude>
                        <exclude>*</exclude>
                        <exclude>.*/**</exclude>
-                       <exclude>benchmarks/**</exclude>
                   </excludes>
               </configuration>
           </plugin>