de.cau.cs.kieler.esterel.ui.labeling
Classes
EsterelDescriptionLabelProvider
EsterelLabelProvider