minor API adoption to java.util.regex.Matcher