build script now uses Ant home.java property, for Jenkins's sake