I though further about it, and I think you are correct.
In java.flex example, we already have EndOfLineComment = "//" {InputCharacter}* {LineTerminator}?...
But if we remove it, it could consume all input characters until the end of file,...