JavaCC OK