User-driven Design and Evaluation of Liquid Types in Java. - Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca (CoRR, 2021)