Josephson effect for SU(4) carbon-nanotube quantum dots