export const MatchResult = $.type("java.util.regex.MatchResult");
export const Matcher = $.type("java.util.regex.Matcher");
export const Pattern = $.type("java.util.regex.Pattern");