Silence another jflex invocation.
Silence another jflex invocation.

Migrated from Sable/mclab@2f6eac015a67f1138942a4b41f21fddf893ac329

Sable/mclab-core,Sable/mclab-core,Sable/mclab-core,Sable/mclab-core,Sable/mclab-core,Sable/mclab-core,Sable/mclab-core,Sable/mclab-core