Merge "OpenJDK 11: Merging java.util.regex.* trivial changes"