Comment # 2 on bug 1042550 from Tom���� Chv��tal

From my point I don't see any benefit in this symbol as it is directly provided
by javapackages-tools, imo the -java9 could be happily removed and everything
should work.

@Fridrich you okay with that? I can tweak it myself too, just reassing it if
you want :)