Tools for examining Java bytecode in Python