The recode of a series of minecraft server plugins, created for, and by the Open Redstone Engineers