Plugins for the JEB Decompiler