bug#58666: java-jdom embeds a timestamp in the file names

[Maxim Cournoyer]

Hello,

Build from the farm:
$ find /gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/doc
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/doc/java-jdom-2.0.6.1
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/doc/java-jdom-2.0.6.1/LICENSE.txt
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38-contrib-sources.jar
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38-contrib.jar
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38-javadoc.jar
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38-junit-sources.jar
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38-junit.jar
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38-sources.jar
/gnu/store/gk9shrkf9bw9ry9qbzrx0z60l6ini8if-java-jdom-2.0.6.1/share/java/jdom-2.x-2022.09.08.17.38.jar

Local build:
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50-contrib-sources.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50-contrib.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50-javadoc.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50-junit-sources.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50-junit.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50-sources.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/lib/java/jdom-2.x-2022.10.20.18.50.jar
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/share
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/share/doc
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/share/doc/java-jdom-2.0.6.1
/gnu/store/yqz1718xy64k8m3rl2gvvpi7z3bzf70h-java-jdom-2.0.6.1/share/doc/java-jdom-2.0.6.1/LICENSE.txt

:-)

-- 
Thanks,
Maxim