Get arena version number from jnlp file

Get arena version number from jnlp file.