Java decompiler in Python