Proceedings of the 4th international symposium on Principles and practice of programming in Java