public static final String makeXmlJavaIdentifier(String name){
  if (name.indexOf('-') >= 0)   name=replace(name,'-',"$1");
  if (name.indexOf('.') >= 0)   name=replace(name,'.',"$2");
  if (name.indexOf(':') >= 0)   name=replace(name,':',"$3");
  return name;
}

public static final String makeXmlJavaIdentifier ( String name ) { if ( name . indexOf ( '-' ) >= 0 ) name = replace ( name , '-' , "$1" ) ; if ( name . indexOf ( '.' ) >= 0 ) name = replace ( name , '.' , "$2" ) ; if ( name . indexOf ( ':' ) >= 0 ) name = replace ( name , ':' , "$3" ) ; return name ; }
converts the given xml name to a legal java identifier . this is slightly more efficient than makejavaidentifier in that we only need to worry about ' . ' , ' - ' , and ' : ' in the string . we also assume that the resultant string is further concatenated with some prefix string so that we don ' t have to worry about it being a java key word .
