diff -r d3d2d3b41ff0 -r ff497594741e minesweeper/pom.xml
--- a/minesweeper/pom.xml Fri Apr 11 10:33:20 2014 +0200
+++ b/minesweeper/pom.xml Fri Apr 11 10:38:48 2014 +0200
@@ -432,7 +432,7 @@
true
html4j4nb
- html4j4nb
+ extra
false
@@ -444,7 +444,7 @@
true
- html4j4nb
+ extra
false