JFuture 2020: Rafael Winterhalter - The definitive guide to Java agents