Protected IntegralDefuzzifier::DefaultResolution
License header updated