El resultado es un fichero MiApplet.java.