Package: javatools Followup-For: Bug #656874 Hi, Sorry about that. 0.38 and 0.39 were released during the "git.d.o" downtime and (as you noticed) I forgot to push when it got back up. Unfortunately I do not have the changes here. I should get to them tomorrow. ~Niels