Your bug report #8434: java: cannot use JAVA with both dist_ and nodist_ prefixes which was filed against the automake package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 8434@debbugs.gnu.org. -- 8434: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8434 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems