Java WebStart (JNLP), JavaFX on 64-bit machines