Fixes for bild.py

Okay, but that means by default the build is broken for anyone else that doesn't have java1.6? Why not use whatever java is default on the path as "java" by default, allowing here an env var to be set to customize? (or one could also customize path)