libjide-oss-java package does not install a jide-oss.jar file

[Ole Streicher]

The installed package looks like this:

/usr/share/doc/libjide-oss-java/changelog.Debian.gz
/usr/share/doc/libjide-oss-java/copyright
/usr/share/doc/libjide-oss-java/README.Debian
/usr/share/java/jide-oss-3.7.4-3.7.4+dfsg.jar
/usr/share/java/jide-oss-3.7.4.jar
/usr/share/maven-repo/com/jidesoft/jide-oss/3.7.4/jide-oss-3.7.4.jar
/usr/share/maven-repo/com/jidesoft/jide-oss/3.7.4/jide-oss-3.7.4.pom
/usr/share/maven-repo/com/jidesoft/jide-oss/debian/jide-oss-debian.jar
/usr/share/maven-repo/com/jidesoft/jide-oss/debian/jide-oss-debian.pom

while the Debian package has a `jide-oss.jar` file:

/usr/share/doc/libjide-oss-java/changelog.Debian.gz
/usr/share/doc/libjide-oss-java/changelog.gz
/usr/share/doc/libjide-oss-java/copyright
/usr/share/doc/libjide-oss-java/README.Debian
/usr/share/java/jide-oss-3.7.4.jar
/usr/share/java/jide-oss.jar
/usr/share/maven-repo/com/jidesoft/jide-oss/3.7.4/jide-oss-3.7.4.jar
/usr/share/maven-repo/com/jidesoft/jide-oss/3.7.4/jide-oss-3.7.4.pom
/usr/share/maven-repo/com/jidesoft/jide-oss/debian/jide-oss-debian.jar
/usr/share/maven-repo/com/jidesoft/jide-oss/debian/jide-oss-debian.pom

This causes the build of starjava-ttools to fail, since it has the version-less jide-oss.jar in the build path. See also Debian Java Policy https://www.debian.org/doc/packaging-manuals/java-policy/ch02.html#policy-libraries

Obviously, something mixed up between name and version in the jide-oss.

That is libjide-oss-java_3.7.4+dfsg-1 as included in the upcoming 19.04 Ubuntu release.

That is a regression; libjide-oss-java_3.7.2+dfsg-1ubuntu2 was still correct. As 18.10 is affected as well, a backport of the solution would be nice (otherwise topcat will not work correctly).