beaver -> jflex