Prevent duplicate files in JAR (https://issues.jboss.org/browse/JGRP-1884)