org.eclipse.viatra.query.patternlanguage.ui.quickfix