Renamed jenkins war file back to original naming convention.