Remove // fall out comments, which are sometimes used to document an empty default: statement group

Remove // fall out comments, which are sometimes used to document an empty default: statement group #6521