code: static String makeXmlName(String name) {
          if (name.length()==0)   name="_";
  
          if (!XmlChars.isNameStart(name.charAt(0))) {
              if (name.length()>1 && XmlChars.isNameStart(name.charAt(1)))
                  name = name.substring(1);
              else
                  name = '_'+name;
          }
  
          int i=1;
          while (i<name.length()) {
              if (XmlChars.isNameChar(name.charAt(i)))
                  i++;
              else
                  name = name.substring(0,i)+name.substring(i+1);
          }
  
          return name;
      }
docs: /*package