Use LabelProvider when writing DOT format.