[I18n-commits] 01/01: Merge branch 'jdk11' into 'develop'