de.cau.cs.kieler.kies.ui.quickfix
Classes 
EsterelQuickfixProvider