What if the Higgs boson weighs 115 GeV?