public String unmangleString(String str){
  LOGGER.debug("Converting " + str);
  for (  String spec : specialChars.keySet()) {
    str=str.replace(specialChars.get(spec),spec);
  }
  LOGGER.debug("   to " + str);
  return str;
}

public String unmangleString ( String str ) { LOGGER . debug ( "Converting " + str ) ; for ( String spec : specialChars . keySet ( ) ) { str = str . replace ( specialChars . get ( spec ) , spec ) ; } LOGGER . debug ( "   to " + str ) ; return str ; }
unmangles a previously mangled string .
