issue #9525 is fixed - boolean options default values defined explicitly, incorrect usage of required option replaced with boolean, settings of reused options are not overridden anymore

boolean options default values defined explicitly, incorrect usage of required option replaced with boolean, settings of reused options are not overridden anymore'