Ant now uses Jenkins build number, rather than date and time.