A parser tool using Java Jflex