¿Cuál es el resultado de ejecutar el siguiente código?

int month = 13;
String message = "";
switch (month) {
    case 1:
    case 2:
    case 12:
        message = "Es invierno";
        break;
    case 3:
    case 4:
    case 5:
        message = "Es primavera";
        break;
    case 6:
    case 7:
    case 8:
        message = "Es verano";
        break;
    case 9:
    case 10:
    case 11:
        message = "Es otoño";
        break;
    default:
        message = "Mes no válido";
}
System.out.println(message);