WebJShrink: a web service for debloating Java bytecode. - Konner Macias; Mihir Mathur; Bobby R. Bruce; Tianyi Zhang 001; Miryung Kim (ESEC/SIGSOFT FSE, 2020)