Merge "OpenJDK 11: Merging in java.util.Enumerator"