org.eclipse.viatra.query.tooling.ui.queryexplorer.preference
Classes
PatternInitializationPreferencePage
PreferenceConstants