Automating away bugs with Error Prone in practice by Rick Ossendrijver @ Spring I/O 2023