Renamed red-black tree xml files (for backward compatibility?)