HotBugs.jar is built as an extension of the widely used Bugs.jar dataset. It is composed of a set of Apache Java time-critical bugs that were addressed with a hot fix. It introduces a more focused ...