Custom stylesheet for jcoverage plugin

The stylesheet in plugin.jelly is fixed to style.css in the plugin resource directory (in case the template name is not set to 'jcoverage').

It would be much more convenient to allow a custom stylesheet setting, similar to the javadoc plugin custom stylesheet setting.

An appropriate name of a new property would be maven.jcoverage.report.stylesheet

This can be easily accomplished by the following example diff code in plugin.jelly:

— plugin.jelly.old 2004-04-11 22:26:54.000000000 +0200
+++ plugin.jelly 2004-04-11 22:19:27.000000000 +0200
@@ -179,7 +179,11 @@
<ant:path refid="jcoverage.classpath"/>
</ant:classpath>
</report>

• <ant:copy file="$ {plugin.resources}/style.css" todir="${maven.coverage.dir}"/>
  + <j:set var="stylesheet" value="${maven.jcoverage.report.stylesheet}"/>
  + <j:if test="${stylesheet.isEmpty()}">
  + <j:set var="stylesheet" value="${plugin.resources}

  /style.css"/>
  + </j:if>
  + <ant:copy file="$

  {stylesheet}

  " tofile="$

  {maven.coverage.dir}/style.css"/>
  <jcoverage:report
  dataFile="${maven.jcoverage.dir}/coverage.xml"
  outputDir="${maven.coverage.dir}

  "/>

I would appreciate it very much to have this feature in the next version of this plugin.

Many thanks!