tag 893376 + pending thanks Some bugs in the mina package are closed in revision ae0124b2ab38894ac268213688a6e1f2dab1cec7 in branch 'master' by Emmanuel Bourg
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/mina.git/commit/?id=ae0124b Commit message: Fixed the build failure with Java 9 (Closes: #893376)