Merge branch 'simple_xml' into 'master'

simple-xml jar fix

See merge request !88
9 jobs for master in 6 minutes and 5 seconds (queued for 1 second)