Revision ddba7ec7a5d4b590addd2cec3bf3a40c14fce399

Committed on 20/04/2017 9:25 am by Henning Kvinnesland <henning.kvinnesland@vg.no> [GitHub Diff]

Update jdk.