Bug#893376: Pending fixes for bugs in the mina package

[pkg-java-maintainers at lists.alioth.debian.org]

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)