de.cau.cs.kieler.core.model.preferences
Classes 
ValidationManagerPreferencePage