JavaCC version implemented