add 'required' option to @ConfigEntry