Guest Editorial of the special issue on the eighth workshop on Formal Techniques for Java-like Programs