fixing jnlp launch for older pre-1.7 Java