A Case Study of Java Lambda