Hi Jonathan thanks for the offer! It will take a moment since javahelpr (jh_build) is broken for the moment: #925507. When this is fixed, I am even not sure whether we can keep the original since the problem that caused #923752 seems to be fixed in javahelper as well, #923748
https://bugs.debian.org/925507 https://bugs.debian.org/923752 https://bugs.debian.org/923748 I will report back once the things look clearer. Best Ole
