A Java deobfuscation tool