JFun is a Java Functional Programming Library