[ANN] JFlex Support 1.0.2

Hi,

Minor update to enable work in Demetra builds. Plugin available from Plugin Manager since 5231 build.
Now only highlighting is supported for JFlex.

Thanks