new jnlp servlet (from 1.7.0_45)