A high-order function generator for java.