https://remp3indir.net/coveragebased-debloating-for-java-bytecode/