// El programa más corto en Java 25: un archivo fuente compacto.
// Se ejecuta directamente con: java Hello.java
void main() {
    IO.println("Hola, Java");
}