Functional Programming Tools for Java