El símbolo : (dos puntos) se utiliza para finalizar una declaración
CASE o una declaración DEFAULT de una sentencia SWITCH.

En realidad, los símbolos : (dos puntos) y ; (punto y coma) son sinónimos
en este lenguaje, es decir, que es indiferente utilizar uno u otro.

Aún así, por similitud a otros lenguajes de programación se utiliza, normalmente,
el símbolo punto y coma como terminador de sentencias y el símbolo dos puntos
dentro de la sintaxis de la sentencia SWITCH.

Ver: Sintaxis - CASE -  DEFAULT - sentencia SWITCH