mini-dinstall: Successfully installed plexus-velocity 1.1.7-3 to unstable

[Mini-Dinstall]

Package: plexus-velocity
Maintainer: Debian Java Maintainers <pkg-java-maintainers at lists.alioth.debian.org>
Changed-By: Ludovic Claude <ludovic.claude at laposte.net>
Architecture: source
Changes:
  * Add Build-Depends on openjdk-6-doc (Closes: #543116)
  * Build-Depends on default-jdk instead of default-jdk-builddep,
    as gcj is not used
  * Bump up Standards-Version to 3.8.3, no change