Issue #2203853 by sidharthap, YesCT: Duplicate case 'name': unreachable in comment_tokens(), remove one.