A temporary repository to highlight JApicmp bugs