Small example to verify that the jdk8 streams API works with tomcat 8.