Title: Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis