Bug#529308: libdom4j-java: contains non-DFSG-free files

[Marcus Better]

Package: libdom4j-java
Version: 1.6.1+dfsg-3
Severity: serious

Michal Vyskocil reported [1] that our tarball contains two doc files
generated from non-free source files (which were themselves removed by
us).

The files in question are:
  docs/clover/org/dom4j/tree/ConcurrentReaderHashMap.java
  docs/xref/org/dom4j/tree/ConcurrentReaderHashMap.html


[1] http://lists.alioth.debian.org/pipermail/pkg-java-maintainers/2009-May/020436.html

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.29.3-melech (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=sv_SE.UTF-8, LC_CTYPE=sv_SE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libdom4j-java depends on:
ii  default-jre [java2-runti 1.5-31          Standard Java or Java compatible R
ii  jamvm [java1-runtime]    1.5.1-3         virtual machine which conforms to 
ii  java-gcj-compat [java2-r 1.0.80-1        Java runtime environment using GIJ
ii  libbackport-util-concurr 2.2+dfsg-1      backport of java.util.concurrent t
ii  libjaxen-java            1.1.1-3         Java XPath engine
ii  libjaxme-java            0.5.2+dfsg-2    implementation of the JAXB specifi
ii  libxpp2-java             2.1.10-4        XML pull parser library for java V
ii  libxpp3-java             1.1.3.4.O-4     XML pull parser library for java
ii  openjdk-6-jre [java2-run 6b14-1.5~pre1-5 OpenJDK Java runtime, using Hotspo

libdom4j-java recommends no packages.

Versions of packages libdom4j-java suggests:
ii  gij-4.3 [java-virtual-ma 4.3.3-3         The GNU Java bytecode interpreter
ii  jamvm [java-virtual-mach 1.5.1-3         virtual machine which conforms to 
ii  java-gcj-compat [java-vi 1.0.80-1        Java runtime environment using GIJ
ii  java-gcj-compat-headless 1.0.80-1        Java runtime environment using GIJ
pn  libdom4j-java-doc        <none>          (no description available)
ii  openjdk-6-jre-headless [ 6b14-1.5~pre1-5 OpenJDK Java runtime, using Hotspo

-- no debconf information