799800801802803804805
public static IDRefs convertToIDREFS(String s) { if ((s == null) || s.equals("")){ return null; } return new IDRefs(s); }
805806807808809810811
456457458459460461462
public static IDRef convertToIDREF(String s) { return new IDRef(s); } public static IDRefs convertToIDREFS(String s) { return new IDRefs(s); }
801802803804805806807
438439440441442443444
795796797798799800801
800801802803804805806
836837838839840841842
469470471472473474475