diff -r e01b65623f72 -r 52386a70f9d9 pom.xml --- a/pom.xml Wed Dec 05 11:18:09 2012 +0100 +++ b/pom.xml Mon Dec 24 07:51:15 2012 +0100 @@ -71,7 +71,6 @@ javap/** * .*/** - benchmarks/**