En código Java: