Python-based Java bytecode tools.