java JJTraveler: a visitor combinator framework for Java.