hg: jdk/jdk: 8199435: Unsafe publication of java.util.Properties.map

[claes.redestad at oracle.com]

Changeset: bcbfd2707e58
Author:    redestad
Date:      2018-06-20 17:06 +0200
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/bcbfd2707e58

8199435: Unsafe publication of java.util.Properties.map
Reviewed-by: dholmes, psandoz, plevart, bchristi

! src/java.base/share/classes/java/util/Properties.java