Updated the conent in the java-lambda-expressions2013 presentation (corrected the lambda substitution and reduction slides)