int nl = qnodename.stringMatched().length();
nodename = new String(qnodename.stringMatched().substring(1,
nl - 1));
+ // unpack any escaped colons
+ com.stevesoft.pat.Regex xpandquotes = com.stevesoft.pat.Regex.perlCode("s/''/'/");
+ String widernodename = xpandquotes.replaceAll(nodename);
+ nodename=widernodename;
// jump to after end of quoted nodename
nextcp = fcp + nl + 1;
parsednodename=true;