figtree (1.4.4-3) unstable; urgency=medium * Depends: default-jdk Closes: #915149 -- Andreas Tille <email address hidden> Sat, 08 Dec 2018 08:07:27 +0100