Le 29/01/2016 11:19, Andreas Tille a écrit : > So my question is: Do we possibly rely here on a non-free tool that > is really not needed and we could simply drop it?
I got a quick look and you might be right, the goto_trans stuff seems optional. What happens if you don't install javab in the f2j package? Emmanuel Bourg
