Tatoo: a Java efficient parser generator