function launchJNLP(jnlp, minimumVersion) {
  if (deployJava.returnPage==null) {deployJava.returnPage=jnlp;}
  if (deployJava.launch(jnlp)) {}
}