an External version of the plugin "RedFun", contained in RedstoneWorldManager