diff -r e01b65623f72 -r 5876fdbbca11 pom.xml
--- a/pom.xml	Wed Dec 05 11:18:09 2012 +0100
+++ b/pom.xml	Fri Dec 14 11:32:45 2012 +0100
@@ -71,7 +71,6 @@
                        <exclude>javap/**</exclude>
                        <exclude>*</exclude>
                        <exclude>.*/**</exclude>
-                       <exclude>benchmarks/**</exclude>
                   </excludes>
               </configuration>
           </plugin>