Then I'd propose that the policy at least includes a phrase like: Java libraries that are available from a public maven repository should also be installed in Debian's maven repository at /usr/share/maven-repo. Thomas Koch, http://www.koch.ro