Fixes for bild.py

We can make it an option for sure but 99.99999999% of users use but do not build ANTLR. It has to work by default for me. I guess better to have it use JAVA_VERSION but have special target that builds distribution rather than, say, jar.  perhaps mkjar and mkdist.