FTfJP 2017 proceedings of the 19th Workshop on Formal Techniques for Java-like Programs : Barcelona, Italy, June 20th, 2017 / - Languages, ACM Special Interest Group on Programming. (ACM,)