correctly xml-encode stop names. prevents writing unparsable xml-files.
Authored by: mrieser 2010-06-03
Parent: [r11701]
Child: [r11703]