Made the CeylonConfig.setOptionValues() specifically check that it's values are not null