Attached is a minor patch which avoids libtool depending on gcc-java on ARM (where we don't have gcc-java.) Please consider applying. Thanks for your time.
Created attachment 158572 [details] Avoid gcc-java dependency on ARM.
Closing -- ARM gcc-java packages now exist.