Add getters/setters to Configuration