801802803804805806807
public static IDRefs convertToIDREFS(String s) { if ((s == null) || s.equals("")){ return null; } return new IDRefs(s); }
469470471472473474475
public static IDRef convertToIDREF(String s) { return new IDRef(s); } public static IDRefs convertToIDREFS(String s) { return new IDRefs(s); }