Jflex patch for JavaScript target instead native Java one