Package: sqldeveloper-package Version: 0.5.4 If there is a new sqldeveloper-<version> package, then it is not installed automatically, neither in parallel nor replacing the old version. You have to select it manually, and manually remove the old version.
For a single Debian host this is not a big deal, but if you have to manage 150+ developer hosts, then it is. Of course the "sqldeveloper" alias (provided by old and new packages) has been installed. Not to mention that sqldeveloper-<version> recommends the libjnidispatch package without version number in its name, which was not generated at all. Regards Harri