Allow optionsSpec at the beginning of a lexer block

tool/src/org/antlr/v4/parse/ANTLRParser.g

@@ -595,8 +595,17 @@ labeledLexerElement
 	;
 
 lexerBlock
- 	:	LPAREN lexerAltList RPAREN
+@after {
-      -> ^(BLOCK<BlockAST>[$LPAREN,"BLOCK"] lexerAltList )
+GrammarAST options = (GrammarAST)$tree.getFirstChildWithType(ANTLRParser.OPTIONS);
+if ( options!=null ) {
+	Grammar.setNodeOptions($tree, options);
+}
+}
+ 	:	LPAREN
+        ( optionsSpec COLON )?
+        lexerAltList
+        RPAREN
+      -> ^(BLOCK<BlockAST>[$LPAREN,"BLOCK"] optionsSpec? lexerAltList )
     ;
 
 // channel=HIDDEN, skip, more, mode(INSIDE), push(INSIDE), pop

tool/src/org/antlr/v4/parse/GrammarTreeVisitor.g

@@ -381,7 +381,7 @@ labeledLexerElement
 	;
 	
 lexerBlock
- 	:	^(BLOCK lexerAlternative+)
+ 	:	^(BLOCK optionsSpec? lexerAlternative+)
     ;
 
 lexerAtom