tienen la extensión .jnlp.