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