functional java API