Java classfile manipulation library for Python