Por ejemplo, considérese el siguiente código en Java: