Java Bytecode Understanding and Testing (maintenance fork from original project at http://ccsl.icmc.usp.br/pt-br/projects/jabuti)