org.eclipse.tptp.platform.analysis.core.ui.internal.preferences
Classes
AnalysisCustomRulePreferencePage
AnalysisPreferencePage