private void putPattern(String name, Pattern p) { _put(REGEX, name); _put(p.pattern()); _put(regexFlags(p.flags())); }