DERBY-4548; alternative location for ant.properties; forgot to adjust BUILDING.html after the latest changes.