323324325326327328329330331332333
static StringValue toUtf8(Env env, StringValue source) { Utf8Encoder encoder = new Utf8Encoder(); return encoder.encode(env, source); } public String toString() { return getClass().getSimpleName() + "[" + _pattern + "]";
325326327328329330331332333334335