Jenkins build is back to normal : Royale » Royale-compiler #1025

[Apache Jenkins Server]

See 
<https://ci-builds.apache.org/job/Royale/job/Royale-compiler/1025/display/redirect>