The web GUI (servlet) is not used nor shipped in the binary packages. If the files that are belonging to this gui are removed there is no need for shipping lib/jwt/*.jar which is one further step in the direction to remove binary only code from the tarball
defining inherited abstract methods from RootedTree. Since jebl2/0.1+git20230701.b3c0f25-1, some methods from RootedTree in jebl2 have to be redefined in figtree, which is quite straightforward, as one can look at jebl2 classes themselves to do so.
