This package contains classes to do with the configuration / settings of KeY.