JSON - Minor syntax highlighing issue

[krishnanmms]

Syntax highlighting of JSON has minor glitch when there is a space between "key" and the colon. The attached image has lines both with a space between quote and colon and without. If there is space the key (field name) is not in the right color

"name": "Westley NORRIS", => No space, works fine
"gender" : "male", => contains space - key is not color correctly

[loiclefevre]

Seems having this at line 280 of JsonTokenMaker.flex:

{Key}/([ \t\f]*): { addToken(Token.VARIABLE); }

instead of

{Key}/: { addToken(Token.VARIABLE); }

solves the problem but produces a warning by JFlex.