Casting Lambdas in Java