Subject: compiling java in a single place Ok, I installed that patch, except I set do_java=2 to omit Java stuff by default (as before). It takes way too long to repeatedly run all that every time. --thanks, karl.