<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jul 30, 2016 at 11:04 AM, Brent Putman <span dir="ltr"><<a href="mailto:putmanb@georgetown.edu" target="_blank">putmanb@georgetown.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">Actually, that's a good point.  I think at that point in the script
    that value is indeed a Javascript string, not an instance of the
    Java String class.  So that might change the diagnosis and solution.
    I'm not a Javascript expert. However, I tried basically what you're
    doing in my browser's console and it seems to work as expected:<br>
    <br><font face="monospace">...</font><br>
    So the '</div> split delimiter doesn't seem a problem there. But that's
    plain old browser Javascript, maybe the script engine version is
    behaving differently or something.</blockquote></div><br>FWIW, I tried Rhino (most recent and an older one), Nashorn, and Node.js/V8.  None had a problem with the split.  I don't have the results any more; I saw your reply about the Java String and decided that perhaps I didn't understand the scripted attributes and discarded my draft response.  I did not try in a resolver, because I don't have v2 around anywhere to try.  It seems something odd is happening.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Greg</div></div>