Como comparación, se muestra el código equivalente con Javadoc: