Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis