jflex tool