diff -r e01b65623f72 -r fc52cbbcbeb9 pom.xml --- a/pom.xml Wed Dec 05 11:18:09 2012 +0100 +++ b/pom.xml Thu Dec 13 08:43:52 2012 +0100 @@ -71,7 +71,6 @@ javap/** * .*/** - benchmarks/**