https://remp3indir.net/code-coverage-differences-of-java-bytecode-and/